Algebraic Structure of Combined Traces

DOI10.2168/LMCS-9(3:8)2013zbMath1272.68316OpenAlexW1976693526WikidataQ104379751 ScholiaQ104379751MaRDI QIDQ5891135

Łukasz Mikulski

Publication date: 6 September 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-9(3:8)2013

zbMATH Keywords

Petri netsconcurrencycausal structuresMazurkiewicz traceselementary net systemscombined traces

Mathematics Subject Classification ID

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

Related Items (3)

Classifying invariant structures of step traces ⋮ Folded Hasse diagrams of combined traces ⋮ Algebraic Structure of Step Traces and Interval Traces

This page was built for publication: Algebraic Structure of Combined Traces