Original language | English |
---|---|
Title of host publication | The Analysis of Concurrent Systems |
Publisher | Springer Berlin Heidelberg |
Pages | 121-126 |
Number of pages | 6 |
ISBN (Electronic) | 978-3-540-39731-1 |
ISBN (Print) | 978-3-540-16047-2 |
DOIs | |
Publication status | Published - 1983 |
Parallel Combinator Reduction Machine
Robin Milner
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution