On the Relationships among four Timed Process Algebras

Fundamenta Informaticae

Volumn 38, Issue 4, 1999, Pages 377-395

  Corradini, Flavio ^a   D'Ortenzio, Domenicantonio ^a   Inverardi, Paola ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Distributed Systems; Specification; Timed Bisimulations; Timed Process Algebras; Verification

Indexed keywords

EID: 0347875939     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1999-38403     Document Type: Article

References (24)

1. Aceto, L. and Murphy, D.: "Timing and Causality in Process Algebra", Acta Informatica 33 (4), 1996, 317-350.
2. Baeten, J. and Bergstra, J.A.: "Real Time Process Algebra", Formal Aspects of Computing 3 (2), 1991, 142-188.
3. Bergstra, J.A. and 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, 50-122.
4. Corradini, F. and Gorrieri, R. and Roccetti, M.: "Performance Preorder and Competitive Equivalence", Acta Informatica 33 (11), 1997, 805-835.
5. Corradini, F.: "On Performance Congruences for Process Algebras", Information and Computation 145, 1998, 191-230.
6. Corradini, F.: "Absolute versus Relative Time in Process Algebras", To appear in Information and Computation, 1999. An extended abstract of this paper appeared in the Proceedings of EXPRESS'97, Electronic Notes of Theoretical Computer Science, 1997, 113-132.
7. Cleaveland, R. and Natarajan, V.: "An algebraic theory of process efficiency", In the Proceedings of LICS'96, 1996, 63-72.
8. Cleaveland, R. and Parrow, J. and Steffen, B.: "The concurrency workbench: A semanticsbased tool for the verification of concurrent systems", In the Proceedings of ACM Transaction on Programming Languages and Systems 15, 1993.
9. Cleaveland, R. and Zwarico, A.: "A theory of testing for real-time", In the Proceedings of LICS'91, 1991, 110-119.
10. De Nicola, R. and Hennessy, M.: "Testing equivalence for processes", Theoretical Computer Science 34, 1994, 83-133.
11. Ferrari, G.-L. and Montanari, U.: "Dynamic matrices and the cost analysis of concurrent programs", In the Proceedings of AMAST'95, LNCS 936, 1995, 307-321.
12. Godskesen, J.Ch. and Larsen, K.G.: "Synthesizing Distinguishing Formulae for Real Time Systems", In the Proceedings of MFCS'95, LNCS 969, 1995, 519-928.
13. Gorrieri, R. and Roccetti, M. and Stancampiano, E.: "A Theory of Processes with Durational Actions", Theoretical Computer Science 140 (1), 1995, 73-94.
14. Hoare, C.A.R.: Communicating Sequential Processes, Prentice Hall, 1989.
15. Hennessy, M. and Regan, T.: "A temporal process algebras", Information and Computation 117, 1995, 221-239.
16. Larsen, K.G. and Pettersson, P. and Yi, W.: "UPPAAL: Status and Developments", In the Proceedings of CAV'97, LNCS, 1997.
17. Milner, R.: Communication and concurrency, International series on computer science, Prentice Hall International, 1989.
18. Moller, F. and Tofts, C.: "A Temporal Calculus of Communicating Systems", In the Proceedings of CONCUR'90, LNCS 459, Springer-Verlag, 1990, 401-415.
19. Moller, F. and Tofts, C.: "Relating Processes with Respect to Speed", In the Proceedings of CONCUR'91, LNCS 527, Springer-Verlag, 1991, 424-438.
20. Nicollin, X. and Sifakis, J.: "An Overview and Synthesis on Timed Process Algebras", In the Proceedings of Real Time: Theory in Practice, LNCS 600, Springer-Verlag, 1991, 526-548.
21. Nicollin, X. and Sifakis, J.: "The algebra of timed processes ATP: theory and applications", Information and Computation 114, 1994, 131-178.
22. Reed, G.M. and Roscoe, A.W.: "A timed model for communicating sequential processes", Theoretical Computer Science 58, 1988, 249-261.
23. Vogler, W.: "Timed Testing of Concurrent Systems", Information and Computation 121(2), 1995, 149-171.
24. Yi, W.: "Real-Time Behaviour of Asynchronous Agents", In the Proceedings of CONCUR'90, LNCS 458, Springer-Verlag, 1990, 502-520.