Abstract
In recent years, a lot of new languages and new concepts have been conceived in order to promote parallelism in the object-oriented framework. These proposals were investigated using different concepts related to parallelism and object orientation. Among these concepts, we can find shared variables/message passing, inheritance/delegation, reflection... The degrees of a good cohabitation may be appreciated by combining the above concepts. In order to have significant criteria we have to determine how languages fit some requirements. These requirements should cover the different phases of program development i.e. specification, design, implementation and verification.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Jean-Paul Bahsoun, Rami El Baida, and Hugues-Olivier Yar. Decision procedure for temporal logic of concurrent objects. In P. Amestoy and alt, editors, Europar’ 99, volume 1685 of LNCS, pages 1344–1352. Springer, 1999.
Jean-Paul Bahsoun, Pascal Fars, and Corinne Servires. Object-Oriented Parallel and Distributed Programming, chapter Multilevel Proof System for Concurrent Object-Oriented Systems, pages 31–52. Herms Science publications. Herms, 2000.
Jean-Paul Bahsoun, Stephan Mertz, and Corinne Servires. Protocoles et programmation dans les rseaux, volume 4 of Paralllisme, rseaux et rpartition, chapter A Framework for Programming and Proving Concurrent Objects, pages 65–98. Herms, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bahsoun, JP. (2000). A Foundation for Composing Concurrent Objects. In: Rolim, J. (eds) Parallel and Distributed Processing. IPDPS 2000. Lecture Notes in Computer Science, vol 1800. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45591-4_142
Download citation
DOI: https://doi.org/10.1007/3-540-45591-4_142
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67442-9
Online ISBN: 978-3-540-45591-2
eBook Packages: Springer Book Archive