ACM Transactions on Computational Logic (TOCL)
Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Theoretical Computer Science
Partial order semantics and read arcs
Theoretical Computer Science
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Efficiency of Token-Passing MUTEX-Solutions - Some Experiments
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Concurrent Implementation of Asynchronous Transition Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Comparing the Efficiency of Asynchronous Systems
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Information and Computation
Soundness for S- and A-timed workflow nets is undecidable
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A generalisation of a relational structures model of concurrency
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
On the Relationships among four Timed Process Algebras
Fundamenta Informaticae
Hi-index | 0.00 |