Structural operational semantics and bounded nondeterminism

DOI10.1007/S00236-003-0111-1MaRDI QIDQ1424357zbMATH OpenOpenAlexFDO

Authors Thuy Duong Vu, Wan Fokkink

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

zbMATH Keywords

labelled transition system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(9)

• Operational semantics and generalized weakest preconditions
• Structural operational semantics for weak bisimulations
• SOS formats and meta-theory: 20 years after
• Rule formats for determinism and idempotence
• Rule formats for nominal process calculi
• Rule formats for nominal process calculi
• A small-step operational semantics for GP 2
• A unified rule format for bounded nondeterminism in SOS with terms as labels
• Automata, Languages and Programming

This page was built for publication: Structural operational semantics and bounded nondeterminism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1424357)