Skip to main content
SpringerLink
Log in
SpringerLink
Log in

A denotational real-time semantics for shared processors

  • Submitted Presentations
  • Conference paper
  • First Online:
PARLE '91 Parallel Architectures and Languages Europe (PARLE 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 506))

Abstract

To describe the real-time behaviour of an Occam-like real-time language with concurrency and synchronous message passing, a denotational semantics is presented. New in this paper is the generalization of the maximal parallelism model, where each process has its own processor, to multiprogramming where several processes may share a processor and statements are scheduled according to dynamic priorities. Our compositional semantics based on several assumptions about the scheduling policy and the communication mechanism. These assumptions are motivated by an operational description of program execution.

Partially supported by ESPRIT-BRA project 3096 (SPEC).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. N. Francez, D. Lehman, and A. Pnueli. A linear history semantics for distributed programming. Theoretical Computer Science, 32:25–46, 1984.

    Google Scholar 

  2. R. Gerth and A. Boucher. A timed failures model for extending communicating processes. In Proceedings in the 14th International Colloquium on Automata, Languages and Programming, pages 95–114. LNCS 267, Springer-Verlag, 1987.

    Google Scholar 

  3. R. Gerber and I. Lee. CCSR: a calculus for communicating shared resources. In CONCUR '90, pages 263–277. LNCS 458, Springer-Verlag, 1990.

    Google Scholar 

  4. C. Huizing, R. Gerth, and W.P. de Roever. Full abstraction of a real-time denotational semantics for an OCCAM-like language. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages, pages 223–237, 1987.

    Google Scholar 

  5. J. Hooman. Compositional verification of distributed real-time systems. In Proceedings Workshop on Real-Time Systems — Theory and Applications, pages 1–20. North-Holland, 1990.

    Google Scholar 

  6. J. Hooman. Specification and Compositional Verification of Real-Time Systems. PhD thesis, Eindhoven University of Technology, 1991.

    Google Scholar 

  7. J. Hooman and J. Widom. A temporal-logic based compositional proof system for real-time message passing. In Parallel Architectures and Languages Europe, volume II, pages 424–441. LNCS 366, Springer-Verlag, 1989.

    Google Scholar 

  8. R. Koymans, R.K. Shyamasundar, W.P. de Roever, R. Gerth, and S. Arun-Kumar. Compositional semantics for real-time distributed computing. Information and Computation, 79(3):210–256, 1988.

    Google Scholar 

  9. INMOS Limited. Communicating process architecture, 1988.

    Google Scholar 

  10. INMOS Limited. Occam 2 Reference Manual, 1988.

    Google Scholar 

  11. G. Reed and A. Roscoe. Metric spaces as models for real-time concurrency. In Proceedings Workshop on the Mathematical Foundations of Programming Languages Semantics, pages 331–343. LNCS 298, Springer-Verlag, 1987.

    Google Scholar 

  12. J. Zwiers. Compositionality, Concurrency and Partial Correctness. LNCS 321, Springer-Verlag, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Jozef Hooman

Authors
  1. Jozef Hooman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Emile H. L. Aarts Jan van Leeuwen Martin Rem

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag

About this paper

Cite this paper

Hooman, J. (1991). A denotational real-time semantics for shared processors. In: Aarts, E.H.L., van Leeuwen, J., Rem, M. (eds) PARLE '91 Parallel Architectures and Languages Europe. PARLE 1991. Lecture Notes in Computer Science, vol 506. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54152-7_65

Download citation

  • DOI: https://doi.org/10.1007/3-540-54152-7_65

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54152-3

  • Online ISBN: 978-3-540-47472-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation