A Calculus of Communicating Systems with Label Passing – Ten Years After

Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning

Originalsprog	Engelsk
Titel	Proof, Language, and Interaction : Essays in Honour of Robin Milner
Redaktører	Gordon D. Plotkin, Colin Stirling, Mads Tofte
Forlag	MIT Press
Publikationsdato	2000
Sider	599-622
ISBN (Trykt)	978-0-262-16188-6
Status	Udgivet - 2000

OpenUrl tilgængelighed

@inbook{528a0210958811dd868b000ea68e967b,

title = "A Calculus of Communicating Systems with Label Passing – Ten Years After",

author = "Engberg, {Uffe Henrik} and Mogens Nielsen",

year = "2000",

language = "English",

isbn = "978-0-262-16188-6",

pages = "599--622",

editor = "Plotkin, {Gordon D.} and Colin Stirling and Mads Tofte",

booktitle = "Proof, Language, and Interaction",

publisher = "MIT Press",

}