Verification of a distributed algorithm (abstract)

Authors:
Kaisa Sere;Marina Waldén
Affiliations:
University of Kuopio, Department of Computer Science and Applied Mathematics, P.O. Box 1627, SF-70211 Kuopio, Finland;Âbo Akademi University, Department of Computer Science, SF-20520, Turku, Finland
Venue:
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Year:
1994

Verification of a distributed algorithm (abstract)

PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
A correctness proof of a topology information maintenance protocol for a distributed computer network

Communications of the ACM
Reduction: a method of proving properties of parallel programs

Communications of the ACM
Superposition Refinement of Parallel Algorithms

FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV

Verification of a distributed algorithm (abstract)

PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Reasoning about Action Systems using the B-Method

Formal Methods in System Design

Hi-index	0.00