Reasoning about networks with many identical finite-state processes
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the mechanical derivation of loop invariants
Journal of Symbolic Computation - Special issue on automatic programming
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Verifying parameterized networks
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifying Systems with Replicated Components in Mur&b.phiv;
Formal Methods in System Design
Concurrent programming for the masses (invited address)
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Theoretical Computer Science
Efficiency of Token-Passing MUTEX-Solutions - Some Experiments
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Partial S-Invariants for the Verification of Infinite Systems Families
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
| Hi-index | 0.00 |