Operational and Algebraic Semantics of Concurrent Processes

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Handbook of Theoretical Computer Science (Vol. B)
Subtitle of host publication	Formal Models and Semantics (B)
Editors	Jan van Leeuwen
Place of Publication	Cambridge, MA, USA
Publisher	MIT Press
Pages	1201-1242
Number of pages	42
ISBN (Print)	0-444-88074-7
Publication status	Published - Jan 1990

Access to Document

@inbook{675baf1258be40de8251fb6ae038c281,

title = "Operational and Algebraic Semantics of Concurrent Processes",

author = "Robin Milner",

year = "1990",

month = jan,

language = "English",

isbn = "0-444-88074-7",

pages = "1201--1242",

editor = "\{van Leeuwen\}, Jan",

booktitle = "Handbook of Theoretical Computer Science (Vol. B)",

publisher = "MIT Press",

address = "United States",

}