A theory of bisimulation for a fragment of concurrent ML with local names

Gespeichert in:

Bibliographische Detailangaben

Zeitschriftentitel:	Theoretical Computer Science
Personen und Körperschaften:	Jeffrey, Alan, Rathke, Julian
In:	Theoretical Computer Science, 323, 2004, 1-3, S. 1-48
Medientyp:	E-Article
Sprache:	Englisch
veröffentlicht:	Elsevier BV
Schlagwörter:	General Computer Science Theoretical Computer Science