Absolute versus Relative Time in Process Algebras

L. Aceto, D.Murphy: On the Ill-Timed but Well-Caused. In the Proceedings of CONCUR'93 (E.Best, Ed.), Springer-Verlag LNCS 715, pp.97-111, 1993. Aceto, 1996, Timing and Causality in Process Algebra, Acta Informatica, 33, 317, 10.1007/s002360050047 Baeten, 1991, Real Time Process Algebra, Formal Aspects of Computing, 3, 142, 10.1007/BF01898401 Bergstra, 1989, Process Theory based on Bisimulation Semantics, In Linear Time, Branching Time and Partial Orders in Logic and Models for Concurrency, LNCS, 354, 10.1007/BFb0013021 R. Cleaveland, V. Natarajan: An algebraic theory of process efficiency. In the Proceedings of LICS'96, pp.63-72, 1996. 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. Cleaveland, 1993, The concurrency workbench: A semantics-based tool for the verification of concurrent systems R. Cleaveland, A. Zwarico: A theory of testing for real-time. In the Proceedings of LICS'96, pp.110-119, 1991. 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. van Glabbeek, 1989, Branching time and abstraction in bisimulation semantics, 613 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. Gorrieri, 1995, A Theory of Processes with Durational Actions, Theoretical Computer Science, 140, 73, 10.1016/0304-3975(94)00205-W Hoare, 1989 Hennessy, 1995, A temporal process algebras, Information and Computation, 117, 221, 10.1006/inco.1995.1041 Arun-Kumar, 1992, An Efficiency Preorder for Processes, Acta Informatica, 29, 737, 10.1007/BF01191894 Milner, 1989, Communication and concurrency Milner, 1992, A Calculus of Mobile Processes (I and II), Information and Computation, 100, 1, 10.1016/0890-5401(92)90008-4 F. Moller, C. Tofts: A Temporal Calculus of Communicating Systems. In the Proceedings of CONCUR'90, LNCS 459, Springer-Verlag, pp.401-415, 1990. F. Moller, C. Tofts: Relating Processes with Respect to Speed. In the Proceedings of CONCUR'91, LNCS 527, Springer-Verlag, pp.424-438, 1991. Reed, 1988, A timed model for communicating sequential processes, Theoretical Computer Science, 58, 249, 10.1016/0304-3975(88)90030-8 Vogler, 1995, Timed Testing of Concurrent Systems, Information and Computation, 121, 149, 10.1006/inco.1995.1130 W. Yi: Real time behaviour of asynchronous agents. In the Proceedings of CONCUR'90, LNCS 458, Springer-Verlag, pp.502-520, 1990.