Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Theoretical Computer Science
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Efficiency of Token-Passing MUTEX-Solutions - Some Experiments
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Towards an ASM Thesis for Unconventional Algorithms
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
A fresh look at petri net extensions
Software Service and Application Engineering
| Hi-index | 0.90 |