On the coarsest congruence within global-clock-bounded equivalence

Theoretical Computer Science

Volumn 198, Issue 1-2, 1998, Pages 225-237

  Corradini, Flavio ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Performance evaluation; Timed bisimulations; Timed process algebras

Indexed keywords

EID: 0347504916     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00237-5     Document Type: Article

References (8)

1. L. Aceto, D. Murphy, Timing and causality in process algebra. Acta Informatica 33(4) (1996) 317-350.
2. X. Chen, F. Corradini, R. Gorrieri, A study on the specification and verification of performance properties, in: Proc. AMAST'96, Lecture Notes in Computer Science, vol. 1101, Springer, Berlin, 1996, pp. 306-320.
3. F. Corradini, R. Gorrieri, M. Roccetti, Performance preorder: ordering processes with respect to speed, in: Proc. MFCS'95, Lecture Notes in Computer Science, vol. 969, Springer, Berlin, 1995, pp. 444-453.
4. F. Corradini, M. Pistore, Specification and verification of timed lazy systems, in: Proc. MFCS'96, Lecture Notes in Computer Science, vol. 1113, Springer, Berlin, 1996, pp. 279-290.
5. G-L. Ferrari, U. Montanari, Dynamic matrices and the cost analysis of concurrent programs, in: Proc. AMAST'95, Lecture Notes in Computer Science, vol. 936, Springer, Berlin, 1995, pp. 307-321.
6. R. Gorrieri, M. Roccetti, E. Stancampiano, A Theory of processes with durational actions, Theoret. Comput. Sci. 140(1) (1995) 73-94.
7. R. Milner, Communication and concurrency, International Series on Computer Science, Prentice-Hall, Englewood Cliffs, NJ, 1989.
8. X. Nicollin, J. Sifakis, An overview and synthesis on timed process algebras, in: Proc. Real Time: Theory and Practice, Lecture Notes in Computer Science, vol. 600, Springer, Berlin, 1991, pp. 526-548.