Abstract
Transformation rules which increase the scope for concurrent activity within systems prescribed by programs of concurrent object languages are given. The correctness of the rules is proved using a semantic definition by translation to a mobile-process calculus. The main theoretical development concerns the notions of confluence and partial confluence.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
P. America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1:366–411, 1989.
J. F. Groote and M. Sellink. Confluence for process verification. In Proceedings of CONCUR'95, pages 204–218. Springer, 1995.
S. Hodges and C. B. Jones. Fixing the semantics of some concurrent object-oriented concepts: SOS and proofs. In Proceedings of the SchloΒ Dagstuhl workshop on ‘Object-orientation with Parallelism and Persistence', to appear.
J. Hogg. Islands: aliasing protection in object-oriented languages. In Proceedings of OOPSLA'91, pages 271–285. ACM Press, 1991.
C. B. Jones. Constraining interference in an object-based design method. In Proceedings of TAPSOFT'93, pages 136–150. Springer, 1993.
C. B. Jones. A pi-calculus semantics for an object-based design notation. In Proceedings of CONCUR'93, pages 158–172. Springer, 1993.
C. B. Jones. Process algebra arguments about an object-based design method. In Essays in Honour of C. A. R. Hoare. Prentice-Hall, 1994.
C. B. Jones. Accommodating interference in the formal design of concurrent object-based programs. Formal Methods in System Design, to appear.
N. Kobayashi, B. Pierce, and D. Turner. Linearity and the pi-calculus. Principles of Programming Languages, 1996.
X. Liu and D. Walker. Confluence of processes and systems of objects. In Proceedings of TAPSOFT'95, pages 217–231. Springer, 1995.
X. Liu and D. Walker. Partial confluence of processes and systems of objects. submitted for publication, 1995.
R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
A. Philippou and D.Walker. Technical report, University of Warwick, forthcoming.
A. Philippou and D. Walker. On sharing and determinacy in concurrent systems. In Proceedings of CONCUR'95, pages 456–470. Springer, 1995.
B. Pierce and D. Turner. Concurrent objects in a process calculus. In Theory and Practice of Parallel Programming, Sendai, Japan, pages 187–215. Springer, 1994.
B. Thomsen. Plain CHOCS: a second generation calculus for higher order processes. Acta Informatica, 30(1):1–59, 1993.
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 P. Tvrdik T. Casavant and F. Plasil, editors, Parallel Computers: Theory and Practice, pages 369–390. Computer Society Press, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Philippou, A., Walker, D. (1996). On transformations of concurrent object programs. In: Montanari, U., Sassone, V. (eds) CONCUR '96: Concurrency Theory. CONCUR 1996. Lecture Notes in Computer Science, vol 1119. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61604-7_52
Download citation
DOI: https://doi.org/10.1007/3-540-61604-7_52
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61604-7
Online ISBN: 978-3-540-70625-0
eBook Packages: Springer Book Archive