Algebraic structure of step traces and interval traces
From MaRDI portal
Recommendations
Cites work
- A generalization of traces
- Algebraic structure of combined traces
- Classifying invariant structures of step traces
- Combinatorial problems of commutation and rearrangements
- Concurrent and maximally concurrent evolution of nonsequential systems
- Concurrent Machines
- Folded Hasse diagrams of combined traces
- Goal-oriented reduction of automata networks
- scientific article; zbMATH DE number 4030999 (Why is no real title available?)
- scientific article; zbMATH DE number 1302042 (Why is no real title available?)
- Inhomogeneous sorting
- Interval graphs and interval orders
- Intransitive indifference with unequal indifference intervals
- Modeling concurrency with interval traces
- Modeling interval order structures with partially commutative monoids
- Modelling concurrency with comtraces and generalized comtraces
- Mutex causality in processes and traces of general elementary nets
- Partial order semantics and read arcs
- Projection representation of Mazurkiewicz traces
- Semantics of inhibitor nets
- Step traces
- Structure of concurrency
- Trajectories and Traces on Non-traditional Regular Tessellations of the Plane
Cited in
(7)- Modeling interval order structures with partially commutative monoids
- Invariant structures and dependence relations
- A precise characterisation of step traces and their concurrent histories
- Algebraic structure of combined traces
- Algebraic structure of combined traces
- Interval traces with mutex relation
- Analysis of concurrent systems based on interval order
This page was built for publication: Algebraic structure of step traces and interval traces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4988962)
