Skip to main content
SpringerLink
Log in

Writing operational semantics in Z: A structural approach

  • Papers
  • Conference paper
  • First Online:
VDM'91 Formal Software Development Methods (VDM 1991)

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

Included in the following conference series:

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. G. Plotkin, “A structural approach to operational semantics,” Department of computer science research report DAIMIFN-19, Aarhus University, Aarhus C, Denmark, Sept. 1981.

    Google Scholar 

  2. W. Li, An Operational Approach to Semantics and Translation for Concurrent Programming Languages. PhD thesis, University of Edinburgh, 1982.

    Google Scholar 

  3. I. Hayes, ed., Specification Case Studies. Prentice-Hall International, 1987. (contributions by B. Flinn, R. Gimson, C. Morgan, I. Sørensen and B. Sufrin).

    Google Scholar 

  4. J. Spivey, The Z Notation: A Reference Manual. Prentice-Hall International, 1989.

    Google Scholar 

  5. M. Benveniste, “Operational semantics of a distributed object-oriented language and its Z formal specification,” Rapport de recherche 1230, INRIA, May 1990.

    Google Scholar 

  6. P. America, “POOL-T: a parallel object-oriented language,” in [13], pp. 199–220, 1987.

    Google Scholar 

  7. P. America, J. de Bakker, J. Kok, and J. Rutten, “Operational semantics of a parallel object-oriented language,” in 13th Symposium on Principles of Programming Languages, (St. Petersburg, Florida), pp. 194–208, 1986.

    Google Scholar 

  8. P. America, J. de Bakker, J. Kok, and J. Rutten, “Denotational semantics of a parallel object-oriented language,” Information and Computation, vol. 83, pp. 194–208, Nov. 1989.

    Google Scholar 

  9. J.P. Banâtre, M. Banâtre, and F. Ployette, “The concept of multi-function: A general structuring tool for distributed operating systems,” in 6th Conference on Distributed Computing Systems, (Cambridge, Mass.), pp. 478–485, May 1986.

    Google Scholar 

  10. P. Lecler, “Une approche de la programmation des systèmes distribués fondée sur la fragmentation des données et des calculs, et sa mise en œuvre dans le système GOTHIC.,” thèse, Université de Rennes-I, Sept. 1989.

    Google Scholar 

  11. M. Benveniste and V. Issarny, “Modèle de programmation,” in [14], pp. 17–41, 1991.

    Google Scholar 

  12. J. Spivey, Understanding Z: A specification language and its formal semantics. No. 3 in Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1988.

    Google Scholar 

  13. A. Yonezawa and M. Tokoro, eds., Object-Oriented Concurrent Programming. Computer Systems, MIT Press, 1987.

    Google Scholar 

  14. J.P. Banâtre and M. Banâtre, Les systèmes distribués: l'expérience du système GOTHIC. InterEditions, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IRISA, Campus de Beaulieu, 35042, Rennes Cédex, France

    Marc Benveniste

Authors
  1. Marc Benveniste
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

S. Prehn W. J. Toetenel

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Benveniste, M. (1991). Writing operational semantics in Z: A structural approach. In: Prehn, S., Toetenel, W.J. (eds) VDM'91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54834-3_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-54834-3_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54834-8

  • Online ISBN: 978-3-540-46449-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation