Process algebras based on the notion of concurrent processes cooperating on common actions are commonplace in the literature. Here we give a categorical model of such a notion of interprocess synchronisation, and indicate how it can be extended to a model of full process algebra. Our main tool is the notion of bimodule over an enriched category: this turns out to be precisely the machinery needed to fuse the behaviours of processes together and thus describe synchronisation. Maximal (CSP-style) synchronisation can then be given a universal characterisation.

Process Synchronization as fusion / S., Kasangian; Labella, Anna; D., Murphy. - In: APPLIED CATEGORICAL STRUCTURES. - ISSN 0927-2852. - STAMPA. - 4:(1996), pp. 403-421. [10.1007/BF00122687]

Process Synchronization as fusion

LABELLA, Anna;
1996

Abstract

Process algebras based on the notion of concurrent processes cooperating on common actions are commonplace in the literature. Here we give a categorical model of such a notion of interprocess synchronisation, and indicate how it can be extended to a model of full process algebra. Our main tool is the notion of bimodule over an enriched category: this turns out to be precisely the machinery needed to fuse the behaviours of processes together and thus describe synchronisation. Maximal (CSP-style) synchronisation can then be given a universal characterisation.
1996
Process synchronisation; models of concurrency; enriched categories; bimodules
01 Pubblicazione su rivista::01a Articolo in rivista
Process Synchronization as fusion / S., Kasangian; Labella, Anna; D., Murphy. - In: APPLIED CATEGORICAL STRUCTURES. - ISSN 0927-2852. - STAMPA. - 4:(1996), pp. 403-421. [10.1007/BF00122687]
File allegati a 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/11573/40376
 Attenzione

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

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