Delay-Insensitivity and Semi-Modularity
Formal Methods in System Design
True Concurrency in Models of Asynchronous Circuit Behavior
Formal Methods in System Design
The Partition Method for the Order - Insensitivity in a Synchronous Distributed Systems
ISCC '00 Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000)
Hi-index | 5.23 |