Modelling concurrency with comtraces and generalized comtraces
DOI10.1016/J.IC.2011.08.001zbMATH Open1244.68057OpenAlexW2140884424MaRDI QIDQ651308FDOQ651308
Ryszard Janicki, Dai Tri Man Lê
Publication date: 12 December 2011
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2011.08.001
Recommendations
- Trace-oriented models of concurrency
- Modeling concurrency with interval traces
- Modelling concurrency with semi-commutations
- scientific article
- Models for concurrency: Towards a classification
- Context for models of concurrency
- Communicating Sequential Processes. The First 25 Years
- Model checking concurrent programs
- Translating between models of concurrency
simultaneitycausalitycanonical representationtrace monoidgeneralized trace theorystep sequencestratified order structurestratified partial orderweak causality
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Combinatorial problems of commutation and rearrangements
- Title not available (Why is that?)
- Notes on finite asynchronous automata
- Title not available (Why is that?)
- Process semantics of general inhibitor nets
- Semantics of inhibitor nets
- Fundamentals of modelling concurrency using discrete relational structures
- Title not available (Why is that?)
- Structure of concurrency
- Relational structures model of concurrency
- Title not available (Why is that?)
- Concurrent and maximally concurrent evolution of nonsequential systems
- Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations*
- A generalization of traces
- Modelling Concurrency with Quotient Monoids
- A Characterization of Combined Traces Using Labeled Stratified Order Structures
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Applications and Theory of Petri Nets 2004
- Trade-offs in true concurrency: Pomsets and mazurkiewicz traces
Cited In (12)
- Interval traces with mutex relation
- Defining conditional independence using collapses
- Cameo: an alternative model of concurrency for Eiffel
- Algebraic Structure of Step Traces and Interval Traces
- Relational structures for concurrent behaviours
- Title not available (Why is that?)
- Multitraces, hypertraces and partial order semantics
- Trade-offs in true concurrency: Pomsets and mazurkiewicz traces
- Modeling concurrency with interval traces
- Classifying invariant structures of step traces
- Step traces
- Connections between a concrete and an abstract model of concurrent systems
This page was built for publication: Modelling concurrency with comtraces and generalized comtraces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q651308)
