Concrete process algebra

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

56 Downloads (Pure)

Original language	English
Title of host publication	Semantic modelling / ed. by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum
Place of Publication	Oxford
Publisher	Clarendon Press
Pages	149-268
ISBN (Print)	0-19-853780-8
Publication status	Published - 1995

Name	Handbook of logic in computer science
Volume	4

Access to Document

@inbook{198b719f95644116b47bd6a346b5104f,

title = "Concrete process algebra",

author = "J.C.M. Baeten and C. Verhoef",

year = "1995",

language = "English",

isbn = "0-19-853780-8",

series = "Handbook of logic in computer science",

publisher = "Clarendon Press",

pages = "149--268",

booktitle = "Semantic modelling / ed. by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum",

}