Programming operatiosn that are safe for bisimulation
| Authors | |
|---|---|
| Publication date | 1998 |
| Journal | Studia Logica |
| Volume | Issue number | 60 | 2 |
| Pages (from-to) | 311-330 |
| Organisations |
|
| Document type | Article |
| Permalink to this page | |