Skip to main content
SpringerLink
Log in

Layering and action refinement for timed systems

  • Conference paper
  • First Online:
Real-Time: Theory in Practice (REX 1991)

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

Abstract

A separate treatment of time, temporal order and causality is used to explain action refinement for timed systems within a process algebraic setting. Communication closed layers, serializability, the SIMD model of execution, and real-time local clocks are among the phenomena that can be described and explained within the formalism. The relation with L. Lamport's model of Interprocess communication is considered.

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. U. Abraham, S. Ben-Davis, and M. Magidor. On global-time and inter-process communication. In Thomas, Kwiatkowska, Shields, editors, Semantics for Concurrency, Leicester 1990, pages 311–323, 1990.

    Google Scholar 

  2. F.D. Anger. On lamport's interprocess communication model. ACM TOPLAS, 11:404–417, 1989.

    Article  Google Scholar 

  3. P.A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.

    Google Scholar 

  4. Elrad and N. Francez. Decomposition of distributed programs into communication closed layers. Science of Computer Programming, 2, 1982.

    Google Scholar 

  5. W. Janssen, M. Poel, and J. Zwiers. Action systems and action refinement in the development of parallel systems. In Proc. of CONCUR '91, Springer LNCS 527, pages 298–316. Springer-Verlag, 1991.

    Google Scholar 

  6. H. Kamp. Instants, events and temporal discourse. In R. Bauerle at al., editor, Semantics From Different Points of View, pages 376–417. Springer, Berlin, 1979.

    Google Scholar 

  7. L. Lamport. On interprocess communication, part I: Basic formalism. Distributed Computing, 1:77–101, 1986.

    Article  Google Scholar 

  8. B. Russell. Our Knowledge of the External World. Allen & Unwin, London, 1926.

    Google Scholar 

  9. R. J. van Glabbeek and U. Goltz. Equivalence notions for concurrent systems and refinement of actions. Technical Report 366, Arbeitspapiere der GMD, 1989.

    Google Scholar 

  10. N. Wiener. A contribution to the theory of relative position. Proc. Camb. Philos. Soc., 17:441–449, 1914.

    Google Scholar 

  11. J. Zwiers. Compositionality, Concurrency and Partial Correctness. Springer LNCS 321, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Twente, P.O. Box 217, 7500, AE Enschede, The Netherlands

    Job Zwiers

Authors
  1. Job Zwiers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. de Bakker C. Huizing W. P. de Roever G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zwiers, J. (1992). Layering and action refinement for timed systems. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds) Real-Time: Theory in Practice. REX 1991. Lecture Notes in Computer Science, vol 600. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0032013

Download citation

  • DOI: https://doi.org/10.1007/BFb0032013

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-47218-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation