The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Theoretical Computer Science
ACTLW - An action-based computation tree logic with unless operator
Information Sciences: an International Journal
Time and Fairness in a Process Algebra with Non-blocking Reading
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Checking a mutex algorithm in a process algebra with fairness
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Intensional and extensional characterisation of global progress in the π-calculus
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Hi-index | 0.00 |