Rule Formats for Bounded Nondeterminism in Structural Operational Semantics

DOI10.1007/978-3-319-27810-0_16zbMath1474.68184OpenAlexW2295431939MaRDI QIDQ2796231

Anna Ingólfsdóttir, Luca Aceto, Álvaro García-Pérez

Publication date: 23 March 2016

Published in: Semantics, Logics, and Calculi (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-27810-0_16

zbMATH Keywords

structural operational semanticslabelled transition systemsrule formatsbounded nondeterminism

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

A unified rule format for bounded nondeterminism in SOS with terms as labels

This page was built for publication: Rule Formats for Bounded Nondeterminism in Structural Operational Semantics