Communicating sequential processes
Communicating sequential processes
Concurrent and maximally concurrent evolution of nonsequential systems
Theoretical Computer Science
Invariants and paradigms of concurrency theory
PARLE '91 Proceedings on Parallel architectures and languages Europe : volume II: parallel languages: volume II: parallel languages
Theoretical Computer Science
Information and Computation
On causality semantics of nets with priorities
Fundamenta Informaticae
The synthesis problem for elementary net systems with inhibitor arcs
Fundamenta Informaticae - Special issue prepared in tribute to Peter Ernst on the occasion of his retirement
Specification and Analysis of Concurrent Systems: The COSY Approach
Specification and Analysis of Concurrent Systems: The COSY Approach
Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces
Proceedings of the 7th International Conference on Mathematical Foundations of Programming Semantics
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Process semantics of general inhibitor nets
Information and Computation
Relational structures model of concurrency
Acta Informatica
Modelling Concurrency with Quotient Monoids
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Complete Process Semantics of Petri Nets
Fundamenta Informaticae
A characterization of combined traces using labeled stratified order structures
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
On Three Alternative Characterizations of Combined Traces
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Modeling interval order structures with partially commutative monoids
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Algebraic structure of combined traces
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Mutex Causality in Processes and Traces of General Elementary Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011
| Hi-index | 0.00 |
Comtraces (combined traces) are extensions of Mazurkiewicz traces that can model the ''not later than'' relationship. In this paper, we first introduce the novel notion of generalized comtraces, extensions of comtraces that can additionally model the ''non-simultaneously'' relationship. Then we study some basic algebraic properties and canonical representations of comtraces and generalized comtraces. Finally we analyze the relationship between generalized comtraces and generalized stratified order structures. The major technical contribution of this paper is a proof showing that generalized comtraces can be represented by generalized stratified order structures.