Global types are behavioral types for specifying and verifying multiparty interactions between distributed components, inspired by the process algebra approach. In this paper we extend the formalism of global types in multi-agent systems resulted from our previous work with a mechanism for easily expressing constrained shue of message sequences; accordingly, we extend the semantics to include the newly introduced feature, and show the expressive power of these constrained global types".

Constrained global types for dynamic checking of protocol conformance in multi-agent systems

ANCONA, DAVIDE;BARBIERI, MATTEO;MASCARDI, VIVIANA
2013

Abstract

Global types are behavioral types for specifying and verifying multiparty interactions between distributed components, inspired by the process algebra approach. In this paper we extend the formalism of global types in multi-agent systems resulted from our previous work with a mechanism for easily expressing constrained shue of message sequences; accordingly, we extend the semantics to include the newly introduced feature, and show the expressive power of these constrained global types".
File in questo prodotto:
File Dimensione Formato  
constrained_global_types.pdf

accesso chiuso

Tipologia: Documento in versione editoriale
Dimensione 439.26 kB
Formato Adobe PDF
439.26 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/11567/634168
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 19
  • ???jsp.display-item.citation.isi??? ND
social impact