Process algebra semantics of $\varphi${SDL}
| Authors | |
|---|---|
| Publication date | 1995 |
| Series | Logic Group Preprint Series, 129 |
| Publisher | Utrecht University |
| Organisations |
|
| Document type | Report |
| Permalink to this page | |
