Conservative extension in structural operational semantics
| Authors |
|
|---|---|
| Publication date | 1999 |
| Journal | The Concurrency Column, Bulletin of the EATCS |
| Volume | Issue number | 69 |
| Pages (from-to) | 110-132 |
| Organisations |
|
| Document type | Article |
| Permalink to this page | |