Towards parallelization of concurrent systems

Theoretical Informatics and Applications

Volumn 32, Issue 4-6, 1998, Pages 99-125

  Corradini, F ^a   Gorrieri, R ^b   Marchignoli, D ^b  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032280146     PISSN: 09883754     EISSN: 28047346     Source Type: Journal    
DOI: 10.1051/ita/1998324-600991     Document Type: Article

References (7)

1. G. BOUDOL, I. CASTELLANI, M. HENNESSY and A. KIEHN, A Theory of Processes with Localities, Formal Aspects of Computing, 1992, 6, pp. 165-200.
2. F. CORRADINI, R. GORRIERI and M. ROCCETTI, Performance Preorder: Ordering Processes with Respect to Speed. In the Proceedings of MFCS'95, Springer-Verlag LNCS, 1995, 969, pp. 444-453.
3. F. CORRADINI, R. GORRIERI and M. ROCCETTI, Performance Preorder and Competitive Equivalence, Acta Informatica, November 1997, Vol. 34, (11).
4. J. W. KLOP, Term Rewriting System: A Tutorial, Bulletin of EATCS, 1990.
5. D. MARCHIGNOLI, Decomposizione Parallela di Processi Concorrenti, Master Thesis (in Italian), University of Bologna, March 1996.
6. R. MILNER, Communication and Concurrency, Prentice Hall, Englewood Cliffs, NJ, 1989.
7. R. MILNER and F. MOLLER, Unique decomposition of processes, Theoretical Computer Science, 1993, 107, pp. 357-363.