Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Theoretical Computer Science
A Faster-than Relation for Asynchronous Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Information and Computation
Bisimulation on speed: worst-case efficiency
Information and Computation
Measuring the performance of asynchronous systems with PAFAS
Theoretical Computer Science - Process algebra
Bisimulation on speed: a unified approach
Theoretical Computer Science
Performance of pipelined asynchronous systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Bisimulation on speed: a unified approach
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Hi-index | 5.23 |