Complexity of network synchronization
Journal of the ACM (JACM)
Fairness
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Introduction to the theory of nested transactions
Theoretical Computer Science - First International Conference on Database Theory, Rome, September 1986
Improvements in the time complexity of two message-optimal election algorithms
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
A Distributed Algorithm for Minimum-Weight Spanning Trees
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
The ``Hoare Logic'' of CSP, and All That
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Modular Proof of Correctness for a Network Synchronizer (Research Summary)
Proceedings of the 2nd International Workshop on Distributed Algorithms
Impartiality, Justice and Fairness: The Ethics of Concurrent Termination
Proceedings of the 8th Colloquium on Automata, Languages and Programming
Verification of Concurrent Programs: Temporal Proof Principles
Logic of Programs, Workshop
FOUNDATIONS OF A THEORY OF SPECIFICATION FOR DISTRIBUTED SYSTEMS
FOUNDATIONS OF A THEORY OF SPECIFICATION FOR DISTRIBUTED SYSTEMS
Design by decomposition of multiparty interactions in Raddle87
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
A methodology for designing communication protocols
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
A framework for verifying data-centric protocols
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
A new proof of the GHS minimum spanning tree algorithm
DISC'06 Proceedings of the 20th international conference on Distributed Computing
| Hi-index | 0.00 |