From Behavioural Contracts to Session Types - Télécom Paris
Chapitre D'ouvrage Année : 2019
Fichier non déposé

Dates et versions

hal-02448995 , version 1 (22-01-2020)

Identifiants

Citer

Alessandro Fantechi, Elie Najm, Jean-Bernard Stefani. From Behavioural Contracts to Session Types. Models, Languages, and Tools for Concurrent and Distributed Programming, pp.278-297, 2019, ⟨10.1007/978-3-030-21485-2_16⟩. ⟨hal-02448995⟩
89 Consultations
0 Téléchargements

Altmetric

Partager

More