 |
Book sections
From Behavioural Contracts to Session Types
Alessandro Fantechi
1
Elie Najm
2, 3
Jean-Bernard Stefani
4
2
ACES - Autonomic and Critical Embedded Systems
LTCI - Laboratoire Traitement et Communication de l'Information
4
SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Alessandro Fantechi 1
Author
Elie Najm 2, 3
Author
Jean-Bernard Stefani 4
Author IdHAL : jean-bernard-stefani
1
ISTI - Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo" (Area della Ricerca CNR, via G. Moruzzi 1, 56124 PISA, Italy - Italy)
- CNR - Consiglio Nazionale delle Ricerche [Roma] (Piazzale Aldo Moro,7 - 00185, Roma - Italy)
2
ACES - Autonomic and Critical Embedded Systems (Télécom Paris 19 Place Marguerite Perey 91120 PALAISEAU - France)
- LTCI - Laboratoire Traitement et Communication de l'Information (Télécom Paris 19 Place Marguerite Perey 91120 PALAISEAU - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- Télécom Paris (19 Place Marguerite Perey 91120 Palaiseau - France)
3
INFRES - Département Informatique et Réseaux (46, rue Barrault
75013 Paris - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
4
SPADES - Sound Programming of Adaptive Dependable Embedded Systems (Centre de Recherche Inria
655, avenue de l'Europe
38334 Saint Ismier Cedex - France)
- Inria Grenoble - Rhône-Alpes (Inovallée
655 avenue de l'Europe
38330 Montbonnot - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- LIG - Laboratoire d'Informatique de Grenoble (UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères
Adresse postale : CS 40700 - 38058 Grenoble cedex 9
Tél. : 04 57 42 14 00 - France)
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5217 (France)
- UGA [2016-2019] - Université Grenoble Alpes [2016-2019] (38058 Grenoble cedex - France)
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 : Wednesday, October 27, 2021 - 6:51:18 AM
Contributor : Laurent Pautet Connect in order to contact the contributor
Submitted on : Wednesday, January 22, 2020 - 3:55:35 PM
Last modification on : Wednesday, October 27, 2021 - 6:51:18 AM
Identifiers
- HAL Id : hal-02448995, version 1
- DOI : 10.1007/978-3-030-21485-2_16
Collections
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⟩
Metrics
Record views