Skip to main content
SpringerLink
Log in

A short story on action refinement

  • Chapter
  • First Online:
Foundations of Computer Science

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1337))

Abstract

This note presents a meaningful example — concerning a communication protocol — how congruence results for action refinement should be applied.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. W. Brauer, R. Gold, and W. Vogler. A survey of behaviour and equivalence preserving refinement of Petri nets. In G. Rozenberg, editor, Advances in Petri Nets 1990, Lect. Notes Comp. Sci. 483, 1–46. Springer, 1991.

    Google Scholar 

  2. U. Goltz and N. Götz. Modelling a simple communication protocol in a language with action refinement, 1991. Unpublished manuscript.

    Google Scholar 

  3. R. Gorrieri. Refinement, atomicity and transactions for process description languages. PhD thesis, Dipartimento di Informatica, Università di Pisa, 1991. Available as Technical Report TD 2/91.

    Google Scholar 

  4. J. Grabowski. On partial languages. Fundamenta Informaticae, IV.2:428–498, 1981.

    MathSciNet  Google Scholar 

  5. M. Huhn. Action refinement and property inheritance in systems of sequential agents. In U. Montanari and V. Sassone, editors, CONCUR '96, Lect. Notes Comp. Sci. 1119, 639–654. Springer, 1996.

    Google Scholar 

  6. L.A. Jategaonkar. Observing ‘True’ Concurrency. PhD thesis, Laboratory for Computer Science, MIT, 1993.

    Google Scholar 

  7. W. Reisig. Petri Nets. EATCS Monographs on Theoretical Computer Science 4. Springer, 1985.

    Google Scholar 

  8. A. Rensink. Models and Methods for Action Refinement. PhD thesis, Faculteit der Informatica, Universiteit Twente, 1993.

    Google Scholar 

  9. P.H. Starke. Processes in Petri nets. J. Inf. Process. Cybern. EIK, 17:389–416, 1981.

    MATH  MathSciNet  Google Scholar 

  10. W. Vogler. Modular Construction and Partial Order Semantics of Petri Nets. Lect. Notes Comp. Sci. 625. Springer, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Universität Augsburg, D-86135, Augsburg, Germany

    Walter Vogler

Authors
  1. Walter Vogler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Christian Freksa Matthias Jantzen Rüdiger Valk

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Vogler, W. (1997). A short story on action refinement. In: Freksa, C., Jantzen, M., Valk, R. (eds) Foundations of Computer Science. Lecture Notes in Computer Science, vol 1337. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0052095

Download citation

  • DOI: https://doi.org/10.1007/BFb0052095

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63746-2

  • Online ISBN: 978-3-540-69640-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation