Algebraic structure of combined traces

DOI10.2168/LMCS-9(3:8)2013MaRDI QIDQ5891135zbMATH OpenOpenAlexWikidataFDO

Authors Ł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

causal structurescombined tracesconcurrencyelementary net systemsMazurkiewicz tracesPetri nets

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)

Recommendations

• Algebraic structure of combined traces
• Algebraic structure of step traces and interval traces
• Modelling concurrency with comtraces and generalized comtraces
• On three alternative characterizations of combined traces
• A Characterization of Combined Traces Using Labeled Stratified Order Structures

Cited in

(8)

• Classifying invariant structures of step traces
• Folded Hasse diagrams of combined traces
• On three alternative characterizations of combined traces
• A Characterization of Combined Traces Using Labeled Stratified Order Structures
• scientific article; zbMATH DE number 1101603 (Why is no real title available?)
• Algebraic structure of step traces and interval traces
• Algebraic structure of combined traces
• Interval traces with mutex relation

This page was built for publication: Algebraic structure of combined traces

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