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

From Behavioural Contracts to Session Types

(1) , (2, 3) , (4)
1
2
3
4
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⟩
50 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More