Operational and Algebraic Semantics of Concurrent Processes

Robin Milner

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationHandbook of Theoretical Computer Science (Vol. B)
Subtitle of host publicationFormal Models and Semantics (B)
EditorsJan van Leeuwen
Place of PublicationCambridge, MA, USA
PublisherMIT Press
Pages1201-1242
Number of pages42
ISBN (Print)0-444-88074-7
Publication statusPublished - Jan 1990

Cite this