default search action
6th ICE 2013: Florence, Italy
- Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova:
Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013. EPTCS 131, 2013 - Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino:
Contract agreements via logic. 5-19 - Eduard Baranov, Simon Bliudze:
Extended Connectors: Structuring Glue Operators in BIP. 20-35 - Xian Xu:
On Context Bisimulation for Parameterized Higher-order Processes. 37-51 - Julien Lange, Alceste Scalas:
Choreography Synthesis as Contract Agreement. 52-67 - Kyriakos Poyias, Emilio Tuosto:
On Recovering from Run-time Misbehaviour in ADR. 68-84 - Karl Palmskog, Mads Dam, Andreas Lundblad, Ali Jafari:
ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects. 85-100
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.