Advertisement

The distributed termination problem : Formal solution and correctness based on petri nets

  • Dominik Gomm
  • Rolf Walter
Part III Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 464)

Keywords

Span Tree Canonical Extension Liveness Property Tree Traversal Diffusion Protocol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    E.J.H. Chang: Echo Algorithms: Depth Parallel Operations on General Graphs. IEEE Transactions on Software Engineering, Vol. SE-8, No. 4, pp. 391–401 (1982)Google Scholar
  2. [2]
    E.W. Dijkstra, W.H.J. Feijen, A.J.M. van Gasteren: Derivation of a Termination Detection Algorithm for Distributed Computations. Inform. Proc. Letters, Vol.16, No.5, pp.217–219 (1983)CrossRefGoogle Scholar
  3. [3]
    E.W. Dijkstra, C.S. Scholten: Termination Detection for Diffusing Computations. Inform. Proc. Letters, Vol.11, No.1, pp.1–4 (1980)Google Scholar
  4. [4]
    H.Ehrig, B.Mahr: Fundamentals of Algebraic Specification 1. EATCS Monographs on Theoretical Computer Science, Vol.6 (1985)Google Scholar
  5. [5]
    N. Francez: Distributed Termination. ACM Transactions on Programming Languages and Systems, Vol.2, No.1, pp.42–55 (1980)CrossRefGoogle Scholar
  6. [6]
    D.Gomm, R.Walter: Das Problem der verteilten Terminierung: Eine Lösung mit Petrinetzen. Universtät Bonn, Diplomarbeit (1989)Google Scholar
  7. [7]
    W.Reisig: Petri Nets. EATCS Monographs on Theoretical Computer Science, Vol.4 (1985)Google Scholar
  8. [8]
    W.Reisig: Petri Nets and Algebraic Specifications. TU München, Institut für Informatik, SFB-Bericht Nr.342/1/90B (1990)Google Scholar
  9. [9]
    N. Shavit, N. Francez: A New Approach to Detection of Locally Indicative Stability. Lecture Notes in Computer Science, Vol.226 / L.Kott (ed.), pp.344–358 (1986)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Dominik Gomm
    • 1
  • Rolf Walter
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2

Personalised recommendations