Structural operational semantics and bounded nondeterminism

Research output: Contribution to Journal › Article › Academic › peer-review

DBLP:journals/acta/FokkinkV03

Access to Document

@article{12f960807fbc4c4fadc5cea900e7b33b,

title = "Structural operational semantics and bounded nondeterminism",

author = "W.J. Fokkink and T.D. Vu",

note = "DBLP:journals/acta/FokkinkV03 ",

year = "2003",

doi = "10.1007/s00236-003-0111-1",

language = "English",

volume = "39",

pages = "501--516",

journal = "Acta Informatica",

issn = "0001-5903",

publisher = "Springer New York",

number = "6-7",

}