Absolute versus relative time in process algebras

Information and Computation

Volumn 156, Issue 1-2, 2000, Pages 122-172

  Corradini, Flavio ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONS; REAL TIME SYSTEMS; SEMANTICS;

PROCESS ALGEBRA;

ALGEBRA;

EID: 0034627951     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1999.2821     Document Type: Article

References (26)

1. Aceto, L., and Murphy, D. (1993), On the ill-timed but well-caused, in "Proceedings, CONCUR'93" (E. Best, Ed.), Lecture Notes in Computer Science, Vol. 715, pp. 97-111, Springer-Verlag, Berlin.
2. Aceto, L., and Murphy, D. (1996), Timing and causality in process algebra, Acta Inform. 33(4), 317-350.
3. Baeten, J., and Bergstra, J. (1991), Real time process algebra, Formal Aspects Computing 3(2), 142-188.
4. Bergstra, J. A., and Klop, J. W. (1989), Process theory based on bisimulation semantics, in "Proceedings, Linear Time, Branching Time and Partial Orders in Logic and Models for Concurrency," Lecture Notes in Computer Science, Vol. 354.
5. Cleaveland, R., and Natarajan, V. (1996), An algebraic theory of process efficiency, in "Proceedings, LICS'96," pp. 63-72.
6. Cleaveland, R., Parrow, J., and Steffen, B. (1993), The concurrency workbench: A semantics-based tool for the verification of concurrent systems, in "Proceedings, ACM Transaction on Programming Languages and Systems," Vol. 15, Assoc. Comput. Mach., New York.
7. Cleaveland, R., and Zwarico, A. (1991), A theory of testing for real-time, in "Proceedings, LICS'91," pp. 110-119.
8. Corradini, F. (1998), On performance congruences for process algebras, Inform. and Comput. 145, 191-230.
9. Corradini, F., and Pistore, M. (1996), Specification and verification of timed lazy systems, in "Proceedings, MFCS'96," Lecture Notes in Computer Science, Vol. 1113, pp. 279-290, Springer-Verlag, Berlin.
10. Ferrari, G.-L., and Montanari, U. (1995), Dynamic matrices and the cost analysis of concurrent programs, in "Proceedings, AMAST'95," Lecture Notes in Computer Science, Vol. 936, pp. 307-321, Springer-Verlag, Berlin.
11. van Glabbeek, R., and Weijland, W. P. (1989), Branching time and abstraction in bisimulation semantics, in "Proceedings, Information Processing'89" (G. X. Ritter, Ed.), pp. 613-618.
12. Gorrieri, R., and Roccetti, M. (1993), Towards performance evaluation in process algebras, in "Proceedings, AMAST'93," Workshop in Computing Series, pp. 289-296, Springer-Verlag, New York/Berlin.
13. Gorrieri, R., Roccetti, M., and Stancampiano, E. (1995), A theory of processes with durational actions, Theoret. Comput. Sci. 140(1), 73-94.
14. Groote, J. F. (1993), Transition system specification with negative premises, Theoret. Comput. Sci. 118, pp. 263-299.
15. Hoare, C. A. R. (1989), "Communicating Sequential Processes," Prentice-Hall, Englewood Cliffs, NJ.
16. Hennessy, M., and Regan, T. (1995), A temporal process algebras, Inform. and Comput. 117, 221-239.
17. Arun-Kumar, S., and Hennessy, M. (1992), An efficiency preorder for processes, Acta Inform. 29, 737-760.
18. Milner, R. (1989), "Communication and Concurrency," International series on computer science, Prentice-Hall, Englewood Cliffs, NJ.
19. Milner, R., Parrow, J., and Walker, D. (1992), A calculus of mobile processes, I, II, Inform. and Comput. 100, 1-78.
20. Moller, F., and Tofts, C. (1990), A temporal calculus of communicating systems, in "Proceedings, CONCUR'90," Lecture Notes in Computer Science, Vol. 459, pp. 401-414, Springer-Verlag, Berlin.
21. Moller, F., and Tofts, C. (1991), Relating processes with respect to speed, in "Proceedings, CONCUR'91," Lecture Notes in Computer Science, Vol. 527, pp. 424-438, Springer-Verlag, Berlin.
22. Nicollin, X., and Sifakis, J. (1991), An overview and synthesis on timed process algebras, in "Proceedings, Real Time: Theory in Practice," Lecture Notes in Computer Science, Vol. 600, pp. 526-548, Springer-Verlag, Berlin.
23. Reed, G. M., and Roscoe, A. W. D. (1988), A timed model for communicating sequential processes, Theoret. Comput. Sci. 58, 249-261.
24. Ulidowski, I., and Yuen, S. (1997), Extending process languages with time, in "Proceedings, AMAST'97," Lecture Notes in Computer Science, Vol. 1349, pp. 524-538, Springer-Verlag, Berlin.
25. Vogler, W. (1995), Timed testing of concurrent systems, Inform. and Comput. 121(2), 149-171.
26. Yi, W. (1990), Real time behaviour of asynchronous agents, in "Proceedings, CONCUR'90," Lecture Notes in Computer Science, Vol. 358, pp. 502-520, Springer-Verlag, Berlin.