From Behavioural Contracts to Session Types - Archive ouverte HAL Access content directly
Book Sections Year : 2019

From Behavioural Contracts to Session Types

Domains

Computer Science [cs] Software Engineering [cs.SE]

Laurent PAUTET  : Connect in order to contact the contributor

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

Submitted on : Wednesday, January 22, 2020-3:55:35 PM

Last modification on : Friday, March 24, 2023-2:53:14 PM

Not file

Dates and versions

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

Identifiers

Cite

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 Dublin Core DC Terms EndNote Datacite

Collections

INSTITUT-TELECOM UGA CNRS INRIA LIG INRIA2 LIG-MFML-SPADES LTCI INFRES ACES IP_PARIS LIG_SIDCH
53 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More