Skip to Main content Skip to Navigation
Book sections

From Behavioural Contracts to Session Types

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

Identifiers

`

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⟩

Share

Metrics

Record views

163