Keywords
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
America, P.; de Bakker, J.; Kok, J.; Rutten, J. “Denotational semantics of a parallel object-oriented language”, Report CS-R8626, Centre for Mathematics and Computer Science, Amsterdam, the Netherlands, August 1986.
Astesiano, E.; Giovini, A.; Reggio, G.; Zucca, E. “An integrated algebraic approach to the specification of data types, processes and objects”, to appear in (Wirsing, M. ed.) Proc. Meteor 1987 Workshop, Berlin, Springer Verlag, 1988 (Lecture Notes in Computer Science n. ...).
Astesiano, E.; Reggio, G. “SMoLCS-Driven Concurrent Calculi”, Proc. TAPSOFT'87, vol.1, Berlin, Springer Verlag, 1987 (Lecture Notes in Computer Science n. 249), pp. 169–201.
Broy, M.; Wirsing, M. “Partial abstract data types”, Acta Informatica 18, pp. 47–64, 1982.
Breu, R.; Zucca, E. “An algebraic compositional semantics of an object-oriented notation with concurrency”, in: Breu, R.; Hennicker, R.; Wirsing, M.; Astesiano, E.; Giovini, A.; Reggio, G.; Zucca, E. “Towards an Algebraic Compositional Semantics for DRAGOON, Deliverable of the DRAGON project (Esprit 1550), March 1989 (revised version in preparation).
Breu, R.; Zucca, E. “An object-oriented specification language”, in preparation.
Bayan, R.; Kaag, F.; Spasojevic, A.; Di Maio, A.; Cardigno, C.; Gatti, S.; Crespi Reghizzi, S.; Astesiano, E.; Giovini, A.; Gautier, B.; Atkinson, C.; Wirsing, M.; Hennicker, R. “An object oriented approach to DRAGON”, Deliverable of the project “DRAGON” (Esprit 1550), February 1988.
Goguen, J.A.; Meseguer, J. “Unifying functional, object-oriented and relational programming with logical semantics, Research Directions in Object-Oriented Programming (Shriver, B.; Wegner, P. editors), Computer Systems Series, MIT Press, 1987.
Meyer, B. “Object Oriented Software Construction”, Prentice Hall, New York, 1988.
Wirsing, M. “Structured algebraic specifications”, in Theoretical Computer Science 43, 1986, pp. 123–250.
Wirsing, M.; Hennicker, R.; Breu, R. “Reusable specification components”, Proc. MFCS 1988, Berlin, Springer Verlag, 1988 (Lecture Notes in Computer Science n. 324), pp 121–137.
Wolczko, M. “Semantics of Smalltalk-80”, in ECOOP '87, Lecture Notes in Computer Science n. 276, Springer Verlag, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Breu, R., Zucca, E. (1989). An algebraic compositional semantics of an object oriented notation with concurrency. In: Veni Madhavan, C.E. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1989. Lecture Notes in Computer Science, vol 405. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52048-1_39
Download citation
DOI: https://doi.org/10.1007/3-540-52048-1_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52048-1
Online ISBN: 978-3-540-46872-1
eBook Packages: Springer Book Archive