From Behavioural Contracts to Session Types - Equipe Autonomic and Critical Embedded Systems Accéder directement au contenu
Chapitre D'ouvrage Année : 2019

From Behavioural Contracts to Session Types

Domaines

Génie logiciel [cs.SE]

Laurent PAUTET  : Connectez-vous pour contacter le contributeur

https://telecom-paris.hal.science/hal-02448995

Soumis le : mercredi 22 janvier 2020-15:55:35

Dernière modification le : jeudi 4 avril 2024-21:33:32

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM UGA CNRS INRIA LIG INRIA2 LIG-MFML-SPADES LTCI INFRES ACES IP_PARIS LIG_SIDCH
63 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More