Advertisement

Contractions in comparing concurrency semantics

  • J. N. Kok
  • J. J. M. M. Rutten
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 317)

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.

Unable to display preview. Download preview PDF.

4. References

  1. [Am]
    P. America, Definition of the programming language POOL-T, Esprit project 415, Doc. No. 91, Philips Research Laboratories, Eindhoven, September 1985.Google Scholar
  2. [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
  3. [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
  4. [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
  5. [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
  6. [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
  7. [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
  8. [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
  9. [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
  10. [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
  11. [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
  12. [Du]
    J. Dugundji, Topology, Allen and Bacon, Rockleigh, N.J., 1966.Google Scholar
  13. [En]
    E. Engelking, General topology, Polish Scientific Publishers, 1977.Google Scholar
  14. [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
  15. [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
  16. [Ho]
    C.A.R. Hoare, Communicating sequential processes, Prentice Hall International, 1985.Google Scholar
  17. [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
  18. [Ko2]
    J.N. Kok, Semantic equivalence for Concurrent Prolog, to appear.Google Scholar
  19. [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
  20. [Mi]
    R. Milner, A Calculus of communicating systems, Lecture Notes in Computer Science 92, Springer-Verlag, 1980.Google Scholar
  21. [Pl1]
    G.D. Plotkin, A powerdomain construction, SIAM J. Comp. 5 (1976), pp. 452–487.Google Scholar
  22. [Pl2]
    G.D. Plotkin, A structural approach to operational semantics, Report DAIMI FN-19, Comp. Sci. Dept., Aarhus Univ. 1981.Google Scholar
  23. [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
  24. [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
  25. [Ru2]
    J.J.M.M. Rutten, Semantic equivalence for a parallel object-oriented language, to appear.Google Scholar
  26. [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

Authors and Affiliations

  • J. N. Kok
    • 1
  • J. J. M. M. Rutten
    • 1
  1. 1.Centre for Mathematics and Computer ScienceAmsterdamThe Netherlands

Personalised recommendations