Computer networks
Design and validation of computer protocols
Design and validation of computer protocols
Formal verification of a leader election protocol in process algebra
ACP '95 Proceedings from the international workshop on Algebra of communicating processes
Distributed Algorithms
Invariants in Process Algebra with Data
CONCUR '94 Proceedings of the Concurrency Theory
Confluence for Process Verification
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Focus Points and Convergent Process Operators
Focus Points and Convergent Process Operators
Algebraic verification of a distributed summation algorithm
Algebraic verification of a distributed summation algorithm
| Hi-index | 0.01 |