ICE@DisCoTec

201720172017

Keyphrases

Publications

2017

Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto
Tool Supported Analysis of IoT. ICE@DisCoTec (2017)
Franco Barbanera, Ugo de'Liguoro
Session Types for Orchestrated Interactions. ICE@DisCoTec (2017)
Dan R. Ghica, Khulood AlYahya
On the Learnability of Programming Language Semantics. ICE@DisCoTec (2017)
Luís Cruz-Filipe, Fabrizio Montesi
On Asynchrony and Choreographies. ICE@DisCoTec (2017)
Tobias Prehn, Stephan Mennicke
Keep it Fair: Equivalences. ICE@DisCoTec (2017)

volume 261, 2017

Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec 2017, Neuchâtel, Switzerland, 21-22nd June 2017. ICE@DisCoTec 261 (2017)