We present a process algebra aimed at describing interactions that are multiparty, i.e. that may involve more than two processes and that are open, i.e. the number of the processes they involve is not fixed or known a priori. Here we focus on the theory of a core version of a process calculus, without message passing, called Core Network Algebra (CNA). In CNA communication actions are given not in terms of channels but in terms of chains of links that record the source and the target ends of each hop of interactions. The operational semantics of our calculus mildly extends the one of CCS. The abstract semantics is given in the style of bisimulation but requires some ingenuity. Remarkably, the abstract semantics is a congruence for all operators of CNA and also with respect to substitutions, which is not the case for strong bisimilarity in CCS. As a motivating and running example, we illustrate the model of a simple software defined network infrastructure.

A formal approach to open multiparty interactions / Bodei, Chiara; Brodo, Linda; Bruni, Roberto. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - 763(2019), pp. 38-65. [10.1016/j.tcs.2019.01.033]

A formal approach to open multiparty interactions

Brodo, Linda
Formal Analysis
;
2019

Abstract

We present a process algebra aimed at describing interactions that are multiparty, i.e. that may involve more than two processes and that are open, i.e. the number of the processes they involve is not fixed or known a priori. Here we focus on the theory of a core version of a process calculus, without message passing, called Core Network Algebra (CNA). In CNA communication actions are given not in terms of channels but in terms of chains of links that record the source and the target ends of each hop of interactions. The operational semantics of our calculus mildly extends the one of CCS. The abstract semantics is given in the style of bisimulation but requires some ingenuity. Remarkably, the abstract semantics is a congruence for all operators of CNA and also with respect to substitutions, which is not the case for strong bisimilarity in CCS. As a motivating and running example, we illustrate the model of a simple software defined network infrastructure.
A formal approach to open multiparty interactions / Bodei, Chiara; Brodo, Linda; Bruni, Roberto. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - 763(2019), pp. 38-65. [10.1016/j.tcs.2019.01.033]
File in questo prodotto:
File Dimensione Formato  
mainCNA_journal.pdf

accesso aperto

Tipologia: Documento in Pre-print (versione non ancora referata)
Licenza: DRM non definito
Dimensione 594.99 kB
Formato Adobe PDF
594.99 kB Adobe PDF Visualizza/Apri

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: http://hdl.handle.net/11388/219862
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 6
social impact