'Closed interval process algebra' versus 'interval process algebra'

Acta Informatica

Volumn 37, Issue 7, 2001, Pages 467-509

  Corradini, Flavio ^a   Pistore, Marco ^b  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035647945     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00013313     Document Type: Article

References (52)

1. 1. L. Aceto, D. Murphy: On the ill-timed but well-caused. In CONCUR'93, LNCS 715, pp. 97-111. Berlin Heidelberg New York: Springer 1993
2. 2. L. Aceto, D. Murphy: Timing and causality in process algebra. Technical Report 9/93, University of Sussex, 1993. Acta Inf 33(4), 317-350 (1996)
3. 2. L. Aceto, D. Murphy: Timing and causality in process algebra. Technical Report 9/93, University of Sussex, 1993. Acta Inf 33(4), 317-350 (1996)
4. 3. R. Alur, D.L. Dill: A theory of timed automata. Theor Comput Sci 126(1), 183-235 (1994)
5. 4. J.H. Andersen, K.J. Kristoffersen, K.G. Larsen, J. Niedermann: Automatic syntesis of real-time systems. In: ICALP'95, LNCS 944, pp. 534-546. Berlin Heidelberg New York: Springer 1995
6. 5. S. Arun-Kumar, M. Hennessy: An efficiency preorder for processes. Acta Inf 29, 737-760 (1992)
7. 6. J. Baeten, J. Bergstra: Real time process algebra. Formal Asp Comput 3(2): 142-188 (1991)
8. 7. J. Bergstra, J. Klop: Process theory based on bisimulation semantics. In: Linear Time, Branching Time and Partial Orders in Logic and Models for Concurrency, LNCS 354, Berlin Heidelberg New York: Springer, 1989
9. 8. G. Boudol, I. Castellani, M. Hennessy, A. Kiehn: A theory of processes with localities. Formal Asp Comput 6, 165-200 (1993)
10. 9. K. Čerāns: CTR: A Calculus of Timed Refinement. In: CONCUR'95, LNCS 962, pp. 516-530. Berlin Heidelberg New York: Springer 1995
11. 10. X. Chen, F. Corradini: On the specification and verification of performance properties for a timed process algebras. In: AMAST'97, LNCS 1349, pp. 123-137. Berlin Heidelberg New York: Springer 1996
12. 11. R. Cleaveland, V. Natarajan: An algebraic theory of process efficiency. In: LICS'96, pp. 63-72. IEEE Computer Society Press, 1996
13. 12. R. Cleaveland, V. Natarajan: Predictability of real-time systems: A process-algebraic approach. In: Proceedings of Real-Time Systems Symposium. IEEE Computer Society Press, 1996
14. 13. R. Cleaveland, A. Zwarico: A theory of testing for real-time. In: LICS'91, pp. 110-119. IEEE Computer Society Press, 1991
15. 14. F. Corradini. Compositionality for processes with durational actions. In: ICTCS'95, pp. 279-293. Singapore: World Scientific 1995
16. 15. F. Corradini: On performance congruences for process algebras. Inf Comput 145, 191-230 (1998)
17. 16. F. Corradini: Absolute versus Relative Time in Process Algebras. Inf Comput 156, 122-172 (2000)
18. 17. F. Corradini, R. Gorrieri, M. Roccetti: Performance preorder and competitive equivalence. Acta Inf 34(11), 805-835 (1997)
19. 18. F. Corradini, M. Pistore: Specification and verification of timed lazy systems. In: MFCS'96, LNCS 1113, pp. 279-290. Berlin Heidelberg New York: Springer 1996
20. 19. F.S. de Boer, M. Gabbrielli, M.C. Meo: Semantics and expressive power of a Timed Concurrent Constraint Language. In: CP'97, LNCS 1330, pp. 47-61. Berlin Heidelberg New York: Springer 1997. Full Version in Inf Comput, to appear
21. 20. Ph. Darondeau, P. Degano: Causal trees. In: Automata, Languages and Programming, LNCS 372. Berlin Heidelberg New York: Springer, 1989
22. 21. R. De Nicola, M. Hennessy: Testing equivalences for processes. Theor Comput Sci 34, 83-133 (1984)
23. 22. G-C. Fernandez, L. Mounier: "On-the-fly" verification of behavioural equivalences and preorders. In: CAV'91, LNCS 575, pp. 181-191. Berlin Heidelberg New York: Springer 1992
24. 23. G-L. Ferrari, U. Montanari: Dynamic matrices and the cost analysis of concurrent programs. In: AMAST'95, LNCS 936, pp. 307-321. Berlin Heidelberg New York: Springer 1995
25. 24. C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezzé: A unified high-level Petri net formalism for time-critical systems. In: IEEE Trans Softw Eng 17(2), 160-172 (1991)
26. 25. R. Gorrieri, M. Roccetti, E. Stancampiano: A theory of processes with durational actions. Theor Comput Sci 140(1), 73-94 (1995)
27. 26. R. van Glabbeek, F. Vaandrager: Petri net models for algebraic theories of concurrency. In: PARLE II'93, LNCS 259, pp. 224-242. Berlin Heidelberg New York: Springer 1987
28. 27. R. van Glabbeek, W. Weijland: Branching time and abstraction in bisimulation semantics. In: Information Processing'89, pp. 613-618, 1989
29. 28. J. He, C.A.R. Hoare, M. Fränzle, M. Müller-Olm, E.-R. Olderog, M. Schenke, M.R. Hansen, A.P. Ravn, H. Rischel: Provably Correct Systems. In: FTRTFT'94, LNCS 863, pp. 288-335. Berlin Heidelberg New York: Springer 1994
30. 29. M. Hennessy, T. Regan: A temporal process algebras. Technical Report 2/90, COGS, University of Sussex, 1990. Inf Comput 117, 221-239 (1995)
31. 29. M. Hennessy, T. Regan: A temporal process algebras. Technical Report 2/90, COGS, University of Sussex, 1990. Inf Comput 117, 221-239 (1995)
32. 30. C. Hoare: Communicating Sequential Processes. Englewood Cliffs, NJ: Prentice Hall 1989
33. 31. L. Jenner, W. Vogler: Fast Asynchronous Systems in Dense Time. In: ICALP'96, LNCS 1099, pp. 75-86. Berlin Heidelberg New York: Springer 1996
34. 32. A. Klusener: Completeness in real time process algebra. In: CONCUR'91, LNCS 527, pp. 376-392. Berlin Heidelberg New York: Springer 1991
35. 33. N. Kawakatsu, R. Nakajima, M. Tanabe: RSM: Real-time synchronization machines for continuous media presentation. In: Int Conf on Virtual Systems and Multimedia, 1996
36. 34. P. Kanellakis, S. Smolka: CCS expressions, finite state processes and three problem of equivalence. In: Second ACM Symposium on Principles of Distributed Computing, 1983
37. 35. R. Milner: Communication and Concurrency. Prentice Hall International, 1989. International Series on Computer Science
38. 36. P. Merlin, D. Farber: Recoverability of communication protocols - Implications of a theoretical study. In: IEEE Trans Commun Vol. COM-24, 1976
39. 37. D. Murphy: Intervals and actions in a timed process algebras. Technical Report Arbeitspapiere der GMD 680, Gesellschaft für Matematik und Dataverarbeitung, St. Augustin, 1992 In: MFPS'92, 1992
40. 38. Z. Manna, A. Pnueli: Models for Reactivity. Acta Inf 30, 609-678 (1993)
41. 39. D. Murphy, D. Pitt: Real-timed concurrent refineable behaviours. In: Formal Techniques in Real Time and Fault Tolerant Systems'92, LNCS 571. Berlin Heidelberg New York: Springer 1992
42. 40. R .Milner, J. Parrow, D. Walker: A calculus of mobile processes. Inf Comput 100, 1-78 (1992)
43. 41. F. Moller, C. Tofts: A temporal calculus of communicating systems. In: CONCUR'90, LNCS 459, pp. 401-415. Berlin Heidelberg New York: Springer, 1990
44. 42. X. Nicollin, J. Sifakis: The algebra of timed processes ATP: theory and applications. Inf Comput 114, 131-178 (1994)
45. 43. M. Nielsen, P. Thiagarajan: Degrees of nondeterminism and concurrency. In: FST&TCS'84, LNCS 181, pp. 89-117. Berlin Heidelberg New York: Springer 1984
46. 44. F. Panzieri, R. Davoli: Real time systems: A tutorial. Technical Report UBLCS-93-22, University of Bologna, 1993. In: Models and Techniques for Performance Evaluation of Computer and Communications Systems, LNCS 729, pp. 435-462. Berlin Heidelberg New York: Springer 1993
47. 45. G. Reed, A. Roscoe: A timed model for communicating sequential processes. Theor Comput Sci 58, 249-261 (1988)
48. 46. M. Tanabe: Timed Petri nets and temporal linear logic. In: Application and Theory of Petri Nets, LNCS 1248, pp. 156-174. Berlin Heidelberg New York: Springer 1997
49. 47. M. Tanabe, R. Nakajima: A logical basis for continuous-media presenation with QoS. In: Multimedia Modelling, IEEE, World Scientific, 1995
50. 48. W. Vogler: Timed testing of concurrent systems. Inf Comput 121(2), 149-171 (1995)
51. 49. Y. Wang: Real time behaviour of asynchronous agents. In: CONCUR'90, LNCS 458, pp. 502-520. Berlin Heidelberg New York: Springer 1990
52. 50. N. Wirth: Toward a discipline of real-time programming. Commun ACM 20(8), 577-583 (1977)