A notion of parallelization of concurrent processes is proposed, that satisfies some intuitive requirements. Roughly, given a process P, a more parallel version Q of P can be the result of replacing one of the sequential summands S in one of P subterms by a process R, provided that Q is functionally equivalent to P and R is either a parallel term or a summand of S. This defines an equivalence preserving preorder on processes Q v P according to which in Q parallelism is increased or the amount of redundancy is decreased. We show that our notion has some connection with the notion of factorization proposed by Milner and Moller. Finally, we identify some classes of processes for which the most parallel version is unique.

Towards Parallelization of Concurrent Systems

CORRADINI, Flavio;
1998-01-01

Abstract

A notion of parallelization of concurrent processes is proposed, that satisfies some intuitive requirements. Roughly, given a process P, a more parallel version Q of P can be the result of replacing one of the sequential summands S in one of P subterms by a process R, provided that Q is functionally equivalent to P and R is either a parallel term or a summand of S. This defines an equivalence preserving preorder on processes Q v P according to which in Q parallelism is increased or the amount of redundancy is decreased. We show that our notion has some connection with the notion of factorization proposed by Milner and Moller. Finally, we identify some classes of processes for which the most parallel version is unique.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/103115
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 6
social impact