Process algebra with partial choice
| Authors | |
|---|---|
| Publication date | 1994 |
| Host editors |
|
| Book title | Proceedings CONCUR 94, Uppsala, Sweden |
| Series | Lecture Notes in Computer Science, 836 |
| Pages (from-to) | 401-416 |
| Publisher | Berlin: Springer Verlag |
| Organisations |
|
| Document type | Chapter |
| Permalink to this page | |
