| Original language | English |
|---|---|
| Title of host publication | The Analysis of Concurrent Systems |
| Publisher | Springer |
| Pages | 314-317 |
| Number of pages | 4 |
| ISBN (Electronic) | 978-3-540-39731-1 |
| ISBN (Print) | 978-3-540-16047-2 |
| DOIs | |
| Publication status | Published - 1983 |
Firing Squad
Robin Milner
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution