Abstract
The relationship between sharing and determinacy in concurrent systems is studied. Syntactic conditions on programs of a concurrent object language are isolated and it is established, on the basis of two different semantic definitions of the language, that they guarantee determinacy, indeed confluence. The first semantic definition is an operational semantics in which a program is interpreted as a labelled transition system whose points represent configurations of systems of objects. The second definition is by translation to a general process-calculus model of systems with dynamically-evolving structure.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
P. America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1:366–411, 1989.
P. America, J. de Bakker, J. Kok, and J. Rutten. Operational semantics of a parallel object-oriented language. In Conference Record of the 13th Symposium on Principles of Programming Languages, pages 194–208. ACM Press, 1986.
P. America, J. de Bakker, J. Kok, and J. Rutten. Denotational semantics of a parallel object-oriented language. Information and Computation, 83:152–205, 1989.
J. Hogg. Islands: aliasing protection in object-oriented languages. In Proceedings of OOPSLA'91, pages 271–285. ACM Press, 1991.
C. Jones. Constraining interference in an object-based design method. In Proceedings of TAPSOFT'93, pages 136–150, 1993.
C. Jones. A pi-calculus semantics for an object-based design notation. In Proceedings of CONCUR'93, pages 158–172, 1993.
X. Liu and D. Walker. Confluence of processes and systems of objects. In Proceedings of CAAP'95. Springer, to appear.
R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
R. Milner. The polyadic π-calculus: a tutorial. In Logic and Algebra of Specification. Springer, 1992.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts 1 and 2. Information and Computation, 100:1–77, 1992.
M. Papathomas. Language Design Rationale and Semantic Framework for Concurrent Object-Oriented Programming. PhD thesis, University of Geneva, 1992.
A. Philippou. PhD thesis, University of Warwick, forthcoming.
C. Tofts. Proof methods and pragmatics for parallel programming. PhD thesis, University of Edinburgh, 1990.
D. Walker. π-calculus semantics for object-oriented programming languages. In Proceedings of TACS'91, pages 532–547. Springer, 1991.
D. Walker. Algebraic proofs of properties of objects. In Proceedings of ESOP'94, pages 501–516. Springer, 1994.
D. Walker. Objects in the π-calculus. Information and Computation, 116:253–271, 1995.
D. Walker. Process calculus and parallel object-oriented programming lanaguages. In T. Casavant, editor, Parallel Computers: Theory and Practice. Computer Society Press, to appear.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Philippou, A., Walker, D. (1995). On sharing and determinacy in concurrent systems. In: Lee, I., Smolka, S.A. (eds) CONCUR '95: Concurrency Theory. CONCUR 1995. Lecture Notes in Computer Science, vol 962. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60218-6_35
Download citation
DOI: https://doi.org/10.1007/3-540-60218-6_35
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60218-7
Online ISBN: 978-3-540-44738-2
eBook Packages: Springer Book Archive