Proof methods and pragmatics for parallel programming

Authors:
Chris Tofts
Affiliations:
Univ. of Edinburgh, UK
Venue:
Proof methods and pragmatics for parallel programming
Year:
1992

Citing 0
Cited 2

A process calculus for dynamic networks

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
Verification techniques for distributed algorithms

OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract