EPTCS 104 - ICE 2012
Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova (Eds.): Proceedings Fifth Interaction and Concurrency Experience. 2012 EPTCS 104 [ contents ]- Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank Valencia: Reducing Weak to Strong Bisimilarity in CCP. ... 2-16
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team