Asynchronous Global Types in Co-logic Programming - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Asynchronous Global Types in Co-logic Programming

Résumé

Global types are at the core of communication based programming. They allow a high level specification of protocols involving many participants and enforce good safety and liveness properties, such as absence of deadlock, locked participants and orphan messages. In this paper, we describe an implementation of a novel formalism of global types for sessions with asynchronous communications in co-logic programming, where we use coinduction to properly handle the coinductive syntax of global types and processes. We also define a simple query language to write sessions and global types, providing primitives for type checking.
Fichier principal
Vignette du fichier
509400_1_En_9_Chapter.pdf (333.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03387826 , version 1 (20-10-2021)

Licence

Paternité

Identifiants

Citer

Riccardo Bianchini, Francesco Dagnino. Asynchronous Global Types in Co-logic Programming. 23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.134-146, ⟨10.1007/978-3-030-78142-2_9⟩. ⟨hal-03387826⟩
27 Consultations
22 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More