Communicating sequential processes
Communicating sequential processes
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Parallel program design: a foundation
Parallel program design: a foundation
Communication and concurrency
Temporal logic and Z specifications
Australian Computer Journal
Design and validation of computer protocols
Design and validation of computer protocols
Specification case studies
Process algebra
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A stepwise refinement heuristic for protocol construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Succeedings of the seventh international workshop on software specification and design
ACM SIGSOFT Software Engineering Notes
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Formal verification of parallel programs
Communications of the ACM
Games I/O Automata Play (Extended Abstract)
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Using mappings to prove timing properties
Distributed Computing
| Hi-index | 0.00 |