Modeling operational semantics with interval orders represented by sequences of antichains

DOI10.1007/978-3-319-91268-4_13zbMath1427.68155OpenAlexW2799689109MaRDI QIDQ2280190

Ryszard Janicki

Publication date: 18 December 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-91268-4_13

zbMATH Keywords

operational semanticsinterval ordersinterval sequenceselementary inhibitor netssequences of antichains

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 (3)

Posets with interfaces as a model for concurrency ⋮ Generating Posets Beyond N ⋮ On Interval Semantics of Inhibitor and Activator Nets

This page was built for publication: Modeling operational semantics with interval orders represented by sequences of antichains