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

Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research

Original language	English
Title of host publication	Proof, Language, and Interaction : Essays in Honour of Robin Milner
Editors	Gordon D. Plotkin, Colin Stirling, Mads Tofte
Publisher	MIT Press
Publication date	2000
Pages	599-622
ISBN (Print)	978-0-262-16188-6
Publication status	Published - 2000

Check availability with the Royal Danish Library

@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",

}