Preview
Unable to display preview. Download preview PDF.
References
G. Plotkin, “A structural approach to operational semantics,” Department of computer science research report DAIMIFN-19, Aarhus University, Aarhus C, Denmark, Sept. 1981.
W. Li, An Operational Approach to Semantics and Translation for Concurrent Programming Languages. PhD thesis, University of Edinburgh, 1982.
I. Hayes, ed., Specification Case Studies. Prentice-Hall International, 1987. (contributions by B. Flinn, R. Gimson, C. Morgan, I. Sørensen and B. Sufrin).
J. Spivey, The Z Notation: A Reference Manual. Prentice-Hall International, 1989.
M. Benveniste, “Operational semantics of a distributed object-oriented language and its Z formal specification,” Rapport de recherche 1230, INRIA, May 1990.
P. America, “POOL-T: a parallel object-oriented language,” in [13], pp. 199–220, 1987.
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.
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.
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.
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.
M. Benveniste and V. Issarny, “Modèle de programmation,” in [14], pp. 17–41, 1991.
J. Spivey, Understanding Z: A specification language and its formal semantics. No. 3 in Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1988.
A. Yonezawa and M. Tokoro, eds., Object-Oriented Concurrent Programming. Computer Systems, MIT Press, 1987.
J.P. Banâtre and M. Banâtre, Les systèmes distribués: l'expérience du système GOTHIC. InterEditions, 1991.
Author information
Authors and Affiliations
Editor information
Rights 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