Absolute versus relative time in process algebras

Electronic Notes in Theoretical Computer Science

Volumn 7, Issue , 1997, Pages 76-95

  Corradini, Flavio ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; REAL TIME SYSTEMS; SEMANTICS; SET THEORY; SYNTACTICS;

DURATIONAL ACTIONS; FUNCTIONAL BEHAVIOR; PROCESS ALGEBRAS; TEMPORAL ASPECTS;

LINEAR ALGEBRA;

EID: 18944376727     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80468-2     Document Type: Conference Paper

References (22)

1. L. Aceto, D.Murphy: On the III-Timed but Well-Caused. In the Proceedings of CONCUR'93 (E.Best, Ed.), Springer-Verlag LNCS 715, pp.97-111, 1993.
2. Aceto L., Murphy D. Timing and Causality in Process Algebra. Acta Informatica. 33:(4):1996;317-350
3. Baeten J., Bergstra J. Real Time Process Algebra. Formal Aspects of Computing. 3:(2):1991;142-188
4. Bergstra J.A., Klop J.W. Process Theory based on Bisimulation Semantics. In Linear Time, Branching Time and Partial Orders in Logic and Models for Concurrency, LNCS. 354:1989
5. R. Cleaveland, V. Natarajan: An algebraic theory of process efficiency. In the Proceedings of LICS'96, pp.63-72, 1996.
6. F. Corradini, M. Pistore: Specification and Verification of Timed Lazy Systems. In the Proceedings of MFCS'96, Springer-Verlag LNCS 1113, pp.279-290, 1996.
7. Cleaveland R., Parrow J., Steffen B. The concurrency workbench: A semantics-based tool for the verification of concurrent systems. In ACM Transaction on Programming Languages and Systems 15. 1993
8. R. Cleaveland, A. Zwarico: A theory of testing for real-time. In the Proceedings of LICS'96, pp.110-119, 1991.
9. G-L. Ferrari, U. Montanari: Dynamic matrices and the cost analysis of concurrent programs. In Proceedings of AMAST'95, LNCS 936, pp.307-321, 1995.
10. van Glabbeek R., Weijland W.P. Branching time and abstraction in bisimulation semantics. In Information Processing '89. 1989;613-618
11. R. Gorrieri, M. Roccetti: Towards Performance Evaluation in Process Algebras. In the Proceedings of AMAST'93, Workshop in Computing Series, Springer-Verlag, pp.289-296, 1993.
12. Gorrieri R., Roccetti M., Stancampiano E. A Theory of Processes with Durational Actions. Theoretical Computer Science. 140:(1):1995;73-94
13. Hoare C.A.R. Communicating Sequential Processes. 1989;Prentice Hall
14. Hennessy M., Regan T. A temporal process algebras. Information and Computation. 117:1995;221-239
15. Arun-Kumar S., Hennessy M. An Efficiency Preorder for Processes. Acta Informatica. 29:1992;737-760
16. Milner R. Communication and concurrency. International series on computer science, Prentice Hall International. 1989
17. Milner R., Parrow J., Walker D. A Calculus of Mobile Processes (I and II). Information and Computation. 100:(1):1992;1-77
18. F. Moller, C. Tofts: A Temporal Calculus of Communicating Systems. In the Proceedings of CONCUR'90, LNCS 459, Springer-Verlag, pp.401-415, 1990.
19. F. Moller, C. Tofts: Relating Processes with Respect to Speed. In the Proceedings of CONCUR'91, LNCS 527, Springer-Verlag, pp.424-438, 1991.
20. Reed G.M., Roscoe A.W. A timed model for communicating sequential processes. Theoretical Computer Science. 58:1988;249-261
21. Vogler W. Timed Testing of Concurrent Systems. Information and Computation. 121:(2):1995;149-171
22. W. Yi: Real time behaviour of asynchronous agents. In the Proceedings of CONCUR'90, LNCS 458, Springer-Verlag, pp.502-520, 1990.