Conference Papers
Year : 2014
Fabrizio Montesi : Connect in order to contact the contributor
https://inria.hal.science/hal-01090741
Submitted on : Thursday, December 4, 2014-10:04:00 AM
Last modification on : Friday, August 5, 2022-12:35:03 PM
Dates and versions
Identifiers
- HAL Id : hal-01090741 , version 1
Cite
Marco Carbone, Fabrizio Montesi, Carsten Schürmann. Choreographies, Logically. CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014, Sep 2014, Rome, Italy. ⟨hal-01090741⟩
16
View
0
Download