Original language | English |
---|---|
Pages (from-to) | 501-516 |
Journal | Acta Informatica |
Volume | 39 |
Issue number | 6-7 |
DOIs | |
Publication status | Published - 2003 |
Structural operational semantics and bounded nondeterminism
W.J. Fokkink, T.D. Vu
Research output: Contribution to Journal › Article › Academic › peer-review