Article,

Turing machines, transition systems, and interaction.

, , , and .
Inf. Comput., 194 (2): 101-128 (2004)

Meta data

Tags

Users

  • @dblp

Comments and Reviews