![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
5th ICE 2012: Stockholm, Sweden
- Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova:
Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012. EPTCS 104, 2012 - Andrés Aristizábal, Filippo Bonchi
, Luis Fernando Pino, Frank Valencia:
Reducing Weak to Strong Bisimilarity in CCP. 2-16 - Étienne Lozes, Jules Villard
:
Shared Contract-Obedient Endpoints. 17-31 - Gabriele Costa
, Fabio Martinelli, Artsiom Yautsiukhin
:
Metric-Aware Secure Service Orchestration. 32-46 - Simon Bliudze:
Towards a Theory of Glue. 48-66 - Kyriakos Poyias, Emilio Tuosto
:
Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations. 67-82 - Dan R. Ghica, Zaid Al-Zobaidi:
Coherent Minimisation: Towards efficient tamper-proof compilation. 83-98 - Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue
, Dorel Lucanu:
Interacting via the Heap in the Presence of Recursion. 99-113
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.