1992
Processes as terms: non-well-founded models for bisimulation
Publication
Publication
Mathematical Structures in Computer Science , Volume 2 - Issue 3 p. 257- 275
Additional Metadata | |
---|---|
Cambridge U.P. | |
Mathematical Structures in Computer Science | |
Organisation | Computer Security |
Rutten, J. (1992). Processes as terms: non-well-founded models for bisimulation. Mathematical Structures in Computer Science, 2(3), 257–275. |