Layering and action refinement for timed systems

  • Job Zwiers
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 600)


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.


Action refinement Serializability Causality Real-time 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ABDM90]
    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. [Ang99]
    F.D. Anger. On lamport's interprocess communication model. ACM TOPLAS, 11:404–417, 1989.CrossRefGoogle Scholar
  3. [BHG87]
    P.A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.Google Scholar
  4. [EF82]
    Elrad and N. Francez. Decomposition of distributed programs into communication closed layers. Science of Computer Programming, 2, 1982.Google Scholar
  5. [JPZ91]
    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. [Kam79]
    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. [Lam86]
    L. Lamport. On interprocess communication, part I: Basic formalism. Distributed Computing, 1:77–101, 1986.CrossRefGoogle Scholar
  8. [Rus26]
    B. Russell. Our Knowledge of the External World. Allen & Unwin, London, 1926.Google Scholar
  9. [vGG89]
    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. [Wiel4]
    N. Wiener. A contribution to the theory of relative position. Proc. Camb. Philos. Soc., 17:441–449, 1914.Google Scholar
  11. [Zwi89]
    J. Zwiers. Compositionality, Concurrency and Partial Correctness. Springer LNCS 321, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Job Zwiers
    • 1
  1. 1.Department of Computer ScienceUniversity of TwenteAE EnschedeThe Netherlands

Personalised recommendations