default search action
10th ICE@DisCoTec 2017: Neuchâtel, Switzerland
- Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight:
Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec 2017, Neuchâtel, Switzerland, 21-22nd June 2017. EPTCS 261, 2017 - Tobias Prehn, Stephan Mennicke:
Keep it Fair: Equivalences. 5-16 - Franco Barbanera, Ugo de'Liguoro:
Session Types for Orchestrated Interactions. 17-36 - Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto:
Tool Supported Analysis of IoT. 37-56 - Dan R. Ghica, Khulood AlYahya:
On the Learnability of Programming Language Semantics. 57-75 - Luís Cruz-Filipe, Fabrizio Montesi:
On Asynchrony and Choreographies. 76-90
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.