Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract)

Object-oriented specification of reactive systems

ICSE '90 Proceedings of the 12th international conference on Software engineering

From sequential layers to distributed processes: deriving a distributed minimum weight spanning tree algorithm

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

Application of Partial-Order Methods to Reactive Programswith Event Memorization

Real-Time Systems

DUALITY: An Architecture Independent Design Model for Parallel Systems Based on Partial Orders Semantics

Proceedings of the 13th International Symposium on Distributed Computing

Compositional Transformational Design for Concurrent Programs

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference

Constraint-based structuring of network protocols

Distributed Computing

Verification of distributed programs using representative interleaving sequences

Distributed Computing