Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

5 results
hal_authIdPerson_i : 1058369
hal_authIdPerson_i : 1058382
Page :
sorted by
Image document

Choreographic Development of Message-Passing Applications

 Alex Coto , Roberto Guanciale , Emilio Tuosto
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.20-36, ⟨10.1007/978-3-030-50029-0_2⟩
Conference papers hal-03273982v1
Image document

Choreography Automata

 Franco Barbanera , Ivan Lanese , Emilio Tuosto
COORDINATION 2020 - 22nd International Conference on Coordination Models and Languages, Jun 2020, Valletta, Malta. pp.86 - 106, ⟨10.1007/978-3-030-50029-0_6⟩
Conference papers hal-03005377v1

Coordination Models and Languages

 Hanne Nielson , Emilio Tuosto
Springer International Publishing, LNCS-11533, 2019, Lecture Notes in Computer Science, 978-3-030-22396-0. ⟨10.1007/978-3-030-22397-7⟩
Books hal-02365511v1
Image document

Reversing P/T Nets

 Hernán Melgratti , Claudio Antares Mezzina , Irek Ulidowski
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.19-36, ⟨10.1007/978-3-030-22397-7_2⟩
Conference papers hal-02365503v1
Image document

A Choreography-Driven Approach to APIs: The OpenDXL Case Study

 Leonardo Frittelli , Facundo Maldonado , Hernán Melgratti , Emilio Tuosto
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.107-124, ⟨10.1007/978-3-030-50029-0_7⟩
Conference papers hal-03274000v1
Page :