Performance preorder and competitive equivalence

Acta Informatica

Volumn 34, Issue 11, 1997, Pages 805-831

  Corradini, Flavio ^a   Gorrieri, Roberto ^b   Roccetti, Marco ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; EQUIVALENCE CLASSES;

AXIOMATIZATIONS; COMPETITIVE EQUIVALENCE; PERFORMANCE PREORDER;

COMPUTATIONAL LINGUISTICS;

EID: 0031269087     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050107     Document Type: Article

References (27)

1. L.Aceto, On Relating Concurrency and Nondeterminism, Technical Report SI/RR-89/06, University of Sussex, 1989.
2. L.Aceto, D.Murphy, On the III-Timed but Well-Caused, In CONCUR'93 (E.Best, Ed.), Springer-Verlag LNCS 715, pp.97-111, 1993.
3. L.Aceto, D.Murphy, Timing and Causality in Process Algebra, Acta Informatica, 33(4), June 1996.
4. S.Arun-Kumar, M.Hennessy, An Efficiency Preorder for Processes, Acta Informatica 29, pp.737-760, 1992.
5. S.Arun-Kumar, V.Natarajan, Conformance: A Precongruence Close to Bisimilarity, in Proc. Structures in Concurrency (STRICT'95), Springer Workshops in Computing Series, 1995.
6. G.Boudol, I.Castellani, M.Hennessy, A.Kiehn, A Theory of Processes with Localities, Formal Aspects of Computing 6, pp. 165-200, 1993.
7. I.Castellani, Observing Distribution in Processe: Static and Dynamic Localities, INRIA RR n. 2276, 1994.
8. F.Corradini, R.De Nicola, Locality Based Semantics for Process Algebras, Acta Informatica, to appear.
9. F.Corradini, R.Gorrieri, D.Marchignoli, On the Parallelization of Concurrent Systems I: Basic Definitions and Properties, Technical Report of Dept. of Computer Science, University of Bologna, July 1996, to appear.
10. Ph.Darondeau, P.Degano, Causal trees, In Automata, Languages and Programming, Springer-Verlag LNCS 372, 1989.
11. D. Della Godenza, Equivalenze osservazionali per sistemi temporizzati, Master thesis, University of Bologna, November 1995.
12. G-L.Ferrari, U.Montanari, Dynamic Matrices and the Cost Analysis of Concurrent Systems, in Proc. AMAST'95, 1995.
13. R.Gorrieri, C.Laneve, Split and ST Bisimulation Semantics, Information and Computation, 118 (2), 1995, pp. 272-288.
14. R.Gorrieri, M.Roccetti, E. Stancampiano, A Theory of Processes with Durational Actions, Theoretical Computer Science 140 (1), March 1995, pp. 73-94.
15. R.J. van Glabbeek, F.Vaandrager, Petri Net Models for Algebraic Theories of Concurrency, In the Proceedings of PARLE II, Springer-Verlag LNCS 259, pp. 224-242, 1987.
16. J.F.Groote, F.Vaandrager, Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation 100 (2), pp. 202-260, 1992.
17. M. Henness, R.Milner, Algebraic Laws for Nondeterminism and Concurrency, Journal of the ACM 32(1), pp.137-161, 1985.
18. R.Milner, Communication and concurrency, International series on computer science, Prentice Hall International, 1989.
19. R.Milner, F.Moller, Unique Decomposition of Processes. Theoretical Computer Science 107, pp. 357-363, 1993.
20. F.Moller, C.Tofts, Relating Processes with Respect to Speed. In CONCUR'91, LNCS 527, Springer-Verlag, pp. 424-438, 1991.
21. F.Moller, C.Tofts, Reasoning about resource Bounded Computations in Real-Timed Process Calculi. In Proc. SoftSem'93, 1993.
22. V.Natarajan, R. Cleaveland, An Algebraic Theory of Process Efficiency, In Proc. 11th Symp. on Logic in Computer Science, IEEE CS Press, 1996, to appear.
23. M.Nielsen, P.S.Thiagarajan, Degrees of Nondeterminism and Concurrency, In Proceedings 4th Conf.on Found.of Soft.Tech.and Theor.Computer Science, Springer-Verlag, LNCS 181, pp. 89-117, 1984.
24. J. Quemada, D. Frutos, A. Azcorra, TIC: A TImed Calculus, Formal Aspects of Computing 5, pp. 224-252, 1993.
25. E. Stancampiano, La Teoria della Performance Bisimulazione, Master Thesis, Università di Bologna, 1993.
26. W. Vogler, Timed Testing of Concurrent Systems, Information and Computation 121(2), pp. 149-171, 1995.
27. W. Vogler, Faster Asynchronous Systems, In Proc. CONCUR'95, LNCS 962, pp. 299-312, Springer-Verlag, 1995.