| Original language | English |
|---|---|
| Publication status | Published - 2004 |
| Externally published | Yes |
Semantics, bisimulation and interaction-structures for the CPDP model
SN Strubbe, AJ van der Schaft
Research output: Working paper › Academic
SN Strubbe, AJ van der Schaft
Research output: Working paper › Academic
| Original language | English |
|---|---|
| Publication status | Published - 2004 |
| Externally published | Yes |