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 |
Operational and Algebraic Semantics of Concurrent Processes
Robin Milner
Research output: Chapter in Book/Report/Conference proceeding › Chapter