Choreographies, Logically - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Choreographies, Logically

Marco Carbone
  • Function : Author
  • PersonId : 935683
Fabrizio Montesi
  • Function : Author
Carsten Schürmann
  • Function : Author
No file

Dates and versions

hal-01090741 , version 1 (04-12-2014)

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

Share

Gmail Facebook X LinkedIn More