Structural operational semantics and bounded nondeterminism
From MaRDI portal
Publication:1424357
DOI10.1007/s00236-003-0111-1zbMath1060.68070OpenAlexW126136067MaRDI QIDQ1424357
Publication date: 11 March 2004
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-003-0111-1
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Unnamed Item ⋮ A unified rule format for bounded nondeterminism in SOS with terms as labels ⋮ SOS formats and meta-theory: 20 years after ⋮ Rule formats for determinism and idempotence ⋮ Coverability Synthesis in Parametric Petri Nets