Abstract
Techniques to model and to analyze distributed algorithms are suggested. Those techniques (based on Petri Nets) respect and exploit particular features and concepts of distributed systems, thus reducing the modelling- and analysis effort to a reasonable expenditure. The paper outlines such techniques by various examples and algorithms.
Extended version of a contribution to the Dagstuhl Workshop ”Unifying Theory and Practise in Distributed Systems”, Sept. 1994
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
K.R: Apt, E.-R. Olderog: Verification of Sequential and Concurrent Programs. Springer-Verlag (1991)
K.M. Chandy, J. Misra: Parallel Program Design: A foundation. Addison-Wesley (1988)
Zohar Manna, Amir Pnueli: The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag (1992)
G.L. Peterson: Myths about mutual exclusion algorithms. Information Processing Letters 12(3), pp115–116, (1981)
Michel Raynard: Distributed Algorithms and Protocols. J. Wiley & sons (1988)
Wolfgang Reisig: Petri Nets. Springer Verlag (1984)
Wolfgang Reisig: Formal Methods for Concurrent System Design: A Survey. Invited paper, in Giloi, Jähnichen, Shriver (eds): Programming Models for Massively Parallel Computers. Computer Society Press (1993)
Wolfgang Reisig: Progress in Petri Nets. Theoretical Computer Science, 1995, to appear
F.A. Stomp, W.-P. de Roever: Principles for sequential reasoning about distributed algorithms. Formal Aspects of Computing 3, pp 1–71 (1994)
Gerard Tel: Distributed Algorithms. Cambridge Internat. Series on Parallel Computation 1. Cambridge University Press (1991)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reisig, W. (1995). Correctness proofs of distributed algorithms. In: Birman, K.P., Mattern, F., Schiper, A. (eds) Theory and Practice in Distributed Systems. Lecture Notes in Computer Science, vol 938. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60042-6_12
Download citation
DOI: https://doi.org/10.1007/3-540-60042-6_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60042-8
Online ISBN: 978-3-540-49409-6
eBook Packages: Springer Book Archive