Skip to Main content Skip to Navigation
Book sections

From Behavioural Contracts to Session Types

Alessandro Fantechi 1 Elie Najm 2, 3 Jean-Bernard Stefani 4 
1 ISTI - Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo"
2 ACES - Autonomic and Critical Embedded Systems
LTCI - Laboratoire Traitement et Communication de l'Information
3 INFRES - Département Informatique et Réseaux
4 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Document type :
Book sections
Complete list of metadata
https://hal.telecom-paris.fr/hal-02448995
Contributor : Laurent PAUTET Connect in order to contact the contributor
Submitted on : Wednesday, January 22, 2020 - 3:55:35 PM
Last modification on : Sunday, June 26, 2022 - 5:08:26 AM

Identifiers

Collections

INSTITUT-TELECOM | UGA | CNRS | INRIA | INRIA2 | LTCI | INFRES | ACES | IP_PARIS

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

49