# Contractions in comparing concurrency semantics

Conference paper

First Online:

## Abstract

We define for a simple concurrent imperative language both operational and denotational semantic models as fixed points of contractions on complete metric spaces. Next, we develop a general method for comparing different semantic models by relating their defining contractions and exploiting the fact that contractions have a unique fixed point.

## Keywords

Semantic Model Operational Semantic Semantic Function Denotational Semantic Semantic Domain
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.

## Preview

Unable to display preview. Download preview PDF.

## 4. References

- [Am]P. America,
*Definition of the programming language POOL-T,*Esprit project 415, Doc. No. 91, Philips Research Laboratories, Eindhoven, September 1985.Google Scholar - [ABKR1]P. America, J. de Bakker, J. Kok, J.J.M.M. Rutten,
*Operational semantics of a parallel object-oriented language,*Conference record of the 13th Symposium on Principles of Programming Languages, St. Petersburg, Florida, January 1986, pp.194–208.Google Scholar - [ABKR2]P. America, J. de Bakker, J. Kok, J.J.M.M. Rutten,
*Denotational semantics of a parallel object-oriented language,*Technical Report (CS-R8626), Centre for Mathematics and Computer Science, Amsterdam, 1986. (To appear in: Information and Computation.)Google Scholar - [AP]K. Apt, G. Plotkin,
*Countable nondeterminism and random assignment,*Journal of the Association for Computing Machinery, Vol. 33, No. 4, October 1986, pp. 724–767.Google Scholar - [AR]P. America, J.J.M.M. Rutten,
*Solving reflexive domain equations in a category of complete metric spaces, Report CS-R8709*, Centre for Mathematics and Computer Science, Amsterdam, February 1987. (To appear in: Proceedings of the Third Workshop on Mathematical Foundations of Programming Language Semantics, Springer-Verlag, Lecture Notes in Computer Science, 1988.)Google Scholar - [BHR]S. Brookes, C. Hoare, W. Roscoe,
*A theory of communicating sequential processes,*J. Assoc. Comput. Mach. 31, No. 3, 1984, pp. 560–599.Google Scholar - [BM]J.W. de Bakker, J.-J. Ch. Meyer,
*Metric semantics for concurrency, Report CS-R8803*, Centre for Mathematics and Computer Science, Amsterdam, 1988.Google Scholar - [BKMOZ]J.W. de Bakker, J.N. Kok, J.-J. Ch. Meyer, E.-R. Olderog, J.I. Zucker,
*Contrasting themes in the semantics of imperative concurrency,*in: Current Trends in Concurrency (J.W. de Bakker, W.P. de Roever, G. Rozenberg, eds.), Lecture Notes in Computer Science 224, Springer-Verlag, 1986, pp. 51–121.Google Scholar - [BMOZ1]J.W. de Bakker, J.-J. Ch. Meyer, E.-R. Olderog, J.I. Zucker,
*Transition systems, infinitary languages and the semantics of uniform concurrency,*in: Proceedings 17th ACM STOC, Providence, R.I. (1985), pp. 252–262.Google Scholar - [BMOZ2]J.W. de Bakker, J.-J. Ch. Meyer, E.-R. Olderog, J.I. Zucker,
*Transition systems, metric spaces and ready sets in the semantics of uniform concurrency*, Report CS-R8601, Centre for Mathematics and Computer Science, Amsterdam, January 1986. (To appear in: Journal of Computer and System Sciences.)Google Scholar - [BZ]J.W. de Bakker, J.I. Zucker,
*Processes and the denotational semantics of concurrency,*Information and Control 54 (1982), pp. 70–120.Google Scholar - [Du]
- [En]
- [FHLR]N. Francez, C.A.R. Hoare, D.J. Lehmann, W.P. de Roever,
*Semantics of nondeterminism, concurrency and communication,*J. CSS 19 (1979), pp. 290–308.Google Scholar - [HP]M. Hennessy, G.D. Plotkin,
*Full abstraction for a simple parallel programming language,*in: Proceedings 8th MFCS (J. Bečvař ed.), Lecture Notes in Computer Science 74 Springer-Verlag (1979), pp. 108–120.Google Scholar - [Ho]
- [Ko1]J.N. Kok,
*A compositional semantics for Concurrent Prolog,*in: Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, Lecture Notes in Computer Science, Springer Verlag, 1988, pp. 373–388.Google Scholar - [Ko2]
- [KR]J.N. Kok, J.J.M.M. Rutten,
*Contractions in comparing concurrency semantics*(full version), Report CS-R8755, Centre for Mathematics and Computer Science, Amsterdam, November 1987.Google Scholar - [Mi]R. Milner,
*A Calculus of communicating systems,*Lecture Notes in Computer Science 92, Springer-Verlag, 1980.Google Scholar - [Pl1]
- [Pl2]G.D. Plotkin,
*A structural approach to operational semantics,*Report DAIMI FN-19, Comp. Sci. Dept., Aarhus Univ. 1981.Google Scholar - [Pl3]G.D. Plotkin,
*An operational semantics for CSP,*in: Formal Description of Programming Concepts II (D. Bjørner ed.) North-Holland, Amsterdam (1983), pp. 199–223.Google Scholar - [Ru1]J.J.M.M. Rutten,
*Correctness and full abstraction of metric semantics for concurrency,*to appear in: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (J.W. de Bakker, W.P. de Roever, G. Rozenberg, eds.), Proc. REX Workshop 1988, Lecture Notes in Computer Science, Springer-Verlag.Google Scholar - [Ru2]J.J.M.M. Rutten,
*Semantic equivalence for a parallel object-oriented language,*to appear.Google Scholar - [Sc]D.S. Scott,
*Domains for denotational semantics,*Proc. 9th ICALP (M. Nielsen, E.M. Schmidt, eds.), Lecture Notes in Computer Science 140, Springer-Verlag, 1982, pp. 577–613.Google Scholar

## Copyright information

© Springer-Verlag Berlin Heidelberg 1988