Modeling interval order structures with partially commutative monoids

DOI10.1007/978-3-642-32940-1_30MaRDI QIDQ2912695zbMATH OpenOpenAlexFDO

Authors Ryszard Janicki, Xiang Yin, Nadezhda Zubkova

Publication date 25 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32940-1_30

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modeling concurrency with interval traces
• scientific article; zbMATH DE number 4047060
• Algebraic structure of step traces and interval traces
• Structure of concurrency
• Modelling concurrency with comtraces and generalized comtraces

Cited in

(6)

• Interval semantics for Petri nets with inhibitor arcs
• Algebraic structure of step traces and interval traces
• Modeling concurrency with interval traces
• Step traces
• On Interval Semantics of Inhibitor and Activator Nets
• Interval traces with mutex relation

This page was built for publication: Modeling interval order structures with partially commutative monoids

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