Eager, busy-waiting and lazy actions timed computation

Electronic Notes in Theoretical Computer Science

Volumn 7, Issue , 1997, Pages 96-114

  Corradini, Flavio ^a   Ferrari, Gianluigi ^b   Pistore, Marco ^b  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PROCESS BEHAVIORS; PROCESS INTERACTION; SEMANTIC THEORIES; TIMED COMPUTATION;

COMPUTER SIMULATION; LINEAR ALGEBRA; PARALLEL PROCESSING SYSTEMS; PETRI NETS; SEMANTICS; SYNCHRONIZATION;

COMPUTATION THEORY;

EID: 0002875738     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80469-4     Document Type: Conference Paper

References (22)

1. L. Aceto and D. Murphy. On the ill-timed but well-caused. In Proc. CONCUR'93, LNCS 715. Springer Verlag, 1993.
2. Aceto L., Murphy D. Timing and causality in process algebra. Acta Informatica. 33:(4):1996
3. F. Corradini. Compositionality for processes with durational actions. In Proc. 5th ICTCS., World Scientific, 1995.
4. Corradini F. On performance congruences for process algebras. Unpublished manuscript. COGS, University of Sussex. 1996
5. F. Corradini, R. Gorrieri and M. Roccetti. Performance preorder: ordering processes with respect to speed. In Proc. MFCS'95, LNCS 969. Springer Verlag, 1995.
6. F. Corradini and M. Pistore. Specification and verification of timed lazy systems. In Proc. MFCS'96, LNCS 1113. Springer Verlag, 1996.
7. P. Degano, J.V.Loddo and C. Priami. Mobile processes with local clocks. In Proc. of Workshop on Analysis and Verification of Multiple-Agents Languages, LNCS 1192. Springer Verlag, 1996.
8. G. Ferrari and U. Montanari. Dynamic matrices and the cost analysis of concurrent programs. In Proc. AMAST'95, LNCS 936. Springer Verlag, 1995.
9. C. Fidge and J. Zic. A simple, expressive, real time CCS. Technical Report, The University of Queensland, 1995.
10. R. van Glabbeek and P. Weijland. Branching time and abstraction in bisimulation semantics. In Proc. IFIP'89, 1989.
11. R. Gorrieri and M. Roccetti. Towards performance evaluation in process algebras. In Proc. AMAST'93, 1993.
12. Gorrieri R., Roccetti M., Stancampiano E. A theory of processes with durational actions. Theoretical Computer Science. 140:1995
13. M. Hennessy. Timed process algebras: a tutorial. Technical Report 3/93, Computer Science Department, University of Sussex, 1993.
14. Milner R. Communication and Concurrency. 1989;Prentice Hall
15. Milner R., Parrow J., Walker D. A calculus of mobile processes (parts I and II). Information and Computation. 100:1992;1-77
16. R. Milner and D. Sangiorgi. Barbed Bisimulation. In Proc. ICALP'92, LNCS 623. Springer Verlag, 1992.
17. F. Moller and C. Tofts. A temporal calculus of communicating systems. In Proc. CONCUR'90, LNCS 458. Springer Verlag, 1990.
18. Nicollin X., Sifakis J. The algebra of timed processes ATP., Theory and application. Information and Computation. 114:(1):1994
19. X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Proc. CAV'91, LNCS 575. Springer Verlag, 1991.
20. D. Sangiorgi. Expressing Mobility in Process Algebras: First Order and Higher-Order Paradigms., PhD Thesis, Department of Computer Science, University of Edinburgh, 1992.
21. Vogler W. Timed testing of concurrent systems. Information and Computation. 121:1995;149-171
22. W.Yi. Real time behaviour of asynchronous agents. In Proc. CONCUR'90, LNCS 458. Springer-Verlag, 1990.