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
}
