Towards parallelization of concurrent systems
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 32 (1998) no. 4-6, pp. 99-125.
@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},
     pages = {99--125},
     publisher = {EDP-Sciences},
     volume = {32},
     number = {4-6},
     year = {1998},
     mrnumber = {1672711},
     language = {en},
     url = {http://www.numdam.org/item/ITA_1998__32_4-6_99_0/}
}
TY  - JOUR
AU  - Corradini, F.
AU  - Gorrieri, R.
AU  - Marchignoli, D.
TI  - Towards parallelization of concurrent systems
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1998
SP  - 99
EP  - 125
VL  - 32
IS  - 4-6
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1998__32_4-6_99_0/
LA  - en
ID  - ITA_1998__32_4-6_99_0
ER  - 
%0 Journal Article
%A Corradini, F.
%A Gorrieri, R.
%A Marchignoli, D.
%T Towards parallelization of concurrent systems
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1998
%P 99-125
%V 32
%N 4-6
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1998__32_4-6_99_0/
%G en
%F 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) no. 4-6, pp. 99-125. http://www.numdam.org/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

[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 | Zbl

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

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

[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

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