Asynchronous Global Types in Co-logic Programming - Coordination Models and Languages Access content directly
Conference Papers Year : 2021

Asynchronous Global Types in Co-logic Programming


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
Origin : Files produced by the author(s)

Dates and versions

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





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⟩
22 View
19 Download



Gmail Facebook X LinkedIn More