Towards parallelization of concurrent systems
Corradini, F. ; Gorrieri, R. ; Marchignoli, D.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 32 (1998), p. 99-125 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1998-01-01
@article{ITA_1998__32_4-6_99_0,
     author = {Corradini, F. and Gorrieri, R. and Marchignoli, D.},
     title = {Towards parallelization of concurrent systems},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {32},
     year = {1998},
     pages = {99-125},
     mrnumber = {1672711},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1998__32_4-6_99_0}
}

Corradini, F.; Gorrieri, R.; Marchignoli, D. Towards parallelization of concurrent systems. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 32 (1998) pp. 99-125. http://gdmltest.u-ga.fr/item/ITA_1998__32_4-6_99_0/

[BCHK92] G. Boudol, I. Castellani M. Hennessy and A. Kiehn, A Theory of Processes with Localities, Formal Aspects of Computing, 1992, pp. 165-200. | Zbl 0806.68070

[CGR95] 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. | MR 1467277 | Zbl 1193.68173

[CGR97] F. Corradini, R. Gorrieri and M. Roccetti, Performance Preorder and Competitive Equivalence, Acta Informatica, November 1997, Vol 34, (11). | MR 1480237 | Zbl 0878.68081

[Klo90] J. W. Klop, Term Rewriting System: A Tutorial, Bulletin of EATCS, 1990. | Zbl 0666.68025

[Mar96] D. Marchignoli, Decomposizione Parallela di Processi Concorrenti, Master Thesis (in Italian), University of Bologna, March 1996.

[Mil89] R. Milner, Communication and Concurrency, Prentice Hall, Englewood Cliffs, NJ, 1989. | Zbl 0683.68008

[MM93] R. Milner and F. Moller, Unique decomposition of processes, Theoretical Computer Science, 1993, 107, pp. 357-363. | MR 1201815 | Zbl 0777.68037