Layering and action refinement for timed systems
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.
KeywordsAction refinement Serializability Causality Real-time
Unable to display preview. Download preview PDF.
- [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
- [BHG87]P.A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.Google Scholar
- [EF82]Elrad and N. Francez. Decomposition of distributed programs into communication closed layers. Science of Computer Programming, 2, 1982.Google Scholar
- [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
- [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
- [Rus26]B. Russell. Our Knowledge of the External World. Allen & Unwin, London, 1926.Google Scholar
- [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
- [Wiel4]N. Wiener. A contribution to the theory of relative position. Proc. Camb. Philos. Soc., 17:441–449, 1914.Google Scholar
- [Zwi89]J. Zwiers. Compositionality, Concurrency and Partial Correctness. Springer LNCS 321, 1989.Google Scholar