Choreographies, Logically

Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/hal-01090741
Contributor : Fabrizio Montesi <>
Submitted on : Thursday, December 4, 2014 - 10:04:00 AM
Last modification on : Friday, March 22, 2019 - 4:46:03 PM

Identifiers

  • HAL Id : hal-01090741, version 1

Citation

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⟩

Share

Metrics

Record views

26