Bibliography

Concurrent Turing Machines as Rewrite Theories

Berndt Farwer, Manfred Kudlek, and Heiko Rölke.
Concurrent turing machines as rewrite theories.
In Proceedings of Concurrency, Specification, and Programming CS&P'2006, 2006.

BibTeX

@InProceedings{Farwer+06,
  author =   {Farwer, Berndt and Kudlek, Manfred and R{\"o}lke, Heiko},
  title =   {Concurrent Turing Machines as Rewrite Theories},
  booktitle =  {Proceedings of Concurrency, Specification, and Programming CS{\&}P'2006},
  year =  2006
}