Structural operational semantics and bounded nondeterminism

W.J. Fokkink, T.D. Vu

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)501-516
JournalActa Informatica
Volume39
Issue number6-7
DOIs
Publication statusPublished - 2003

Bibliographical note

DBLP:journals/acta/FokkinkV03

Cite this