Towards parallelization of concurrent systems

F. Corradini; R. Gorrieri; D. Marchignoli

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1998)

  • Volume: 32, Issue: 4-6, page 99-125
  • ISSN: 0988-3754

How to cite

top

Corradini, F., Gorrieri, R., and Marchignoli, D.. "Towards parallelization of concurrent systems." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 32.4-6 (1998): 99-125. <http://eudml.org/doc/92586>.

@article{Corradini1998,
author = {Corradini, F., Gorrieri, R., Marchignoli, D.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
language = {eng},
number = {4-6},
pages = {99-125},
publisher = {EDP-Sciences},
title = {Towards parallelization of concurrent systems},
url = {http://eudml.org/doc/92586},
volume = {32},
year = {1998},
}

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
PB - EDP-Sciences
VL - 32
IS - 4-6
SP - 99
EP - 125
LA - eng
UR - http://eudml.org/doc/92586
ER -

References

top
  1. [BCHK92] G. BOUDOL, I. CASTELLANI M. HENNESSY and A. KIEHN, A Theory of Processes with Localities, Formal Aspects of Computing, 1992, pp. 165-200. Zbl0806.68070
  2. [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. Zbl1193.68173MR1467277
  3. [CGR97] F. CORRADINI, R. GORRIERI and M. ROCCETTI, Performance Preorder and Competitive Equivalence, Acta Informatica, November 1997, Vol 34, (11). Zbl0878.68081MR1480237
  4. [Klo90] J. W. KLOP, Term Rewriting System: A Tutorial, Bulletin of EATCS, 1990. Zbl0666.68025
  5. [Mar96] D. MARCHIGNOLI, Decomposizione Parallela di Processi Concorrenti, Master Thesis (in Italian), University of Bologna, March 1996. 
  6. [Mil89] R. MILNER, Communication and Concurrency, Prentice Hall, Englewood Cliffs, NJ, 1989. Zbl0683.68008
  7. [MM93] R. MILNER and F. MOLLER, Unique decomposition of processes, Theoretical Computer Science, 1993, 107, pp. 357-363. Zbl0777.68037MR1201815

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.