Skip to Main content Skip to Navigation
Book sections

From Behavioural Contracts to Session Types

Document type :
Book sections
Complete list of metadatas

https://hal.telecom-paris.fr/hal-02448995
Contributor : Laurent Pautet <>
Submitted on : Wednesday, January 22, 2020 - 3:55:35 PM
Last modification on : Wednesday, August 5, 2020 - 3:25:47 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

107