Rule formats for bounded nondeterminism in structural operational semantics

DOI10.1007/978-3-319-27810-0_16MaRDI QIDQ2796231zbMATH OpenOpenAlexFDO

Authors Luca Aceto, Álvaro García-Pérez, Anna Ingolfsdottir

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

bounded nondeterminismlabelled transition systemsrule formatsstructural operational semantics

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)

Recommendations

• A unified rule format for bounded nondeterminism in SOS with terms as labels
• SOS formats and meta-theory: 20 years after
• A hierarchy of SOS rule formats
• GSOS and finite labelled transition systems
• Rule formats for distributivity

Cited in

(8)

• GSOS and finite labelled transition systems
• A unified rule format for bounded nondeterminism in SOS with terms as labels
• A hierarchy of SOS rule formats
• On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference)
• Rule formats for determinism and idempotence
• A Rule Format for Associativity
• Rule formats for determinism and idempotence
• A specification format for rooted branching bisimulation

This page was built for publication: Rule formats for bounded nondeterminism in structural operational semantics

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