| Original language | Undefined |
|---|---|
| Title of host publication | Handbook of Process Algebra |
| Editors | J.A. Bergstra, A. Ponse, S.A. Smolka |
| Place of Publication | Amsterdam |
| Publisher | Elsevier |
| Pages | 1047-1147 |
| ISBN (Print) | 0-444-82830-3 |
| Publication status | Published - 2001 |
Keywords
- METIS-203564