True Concurrency in Models of Asynchronous Circuit Behavior
Formal Methods in System Design
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Modelling Concurrency with Quotient Monoids
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Executability of scenarios in Petri nets
Theoretical Computer Science
Closure operators for order structures
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
A generalisation of a relational structures model of concurrency
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
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
Analyzing and Reducing Simultaneous Firing in Signal-Event Nets
Fundamenta Informaticae
| Hi-index | 0.00 |