2014年第七届ICE:德国柏林
伊万·拉内斯 , 阿尔贝托·卢奇·拉富恩特 , 安娜·索科洛娃 , 雨果·托雷斯·维埃拉 :
《第七届交互与并发体验会议录》,ICE 2014年,德国柏林,2014年6月6日。 EPTCS系统 166, 2014 Håkon诺曼 , 克里斯蒂安·普里萨卡里奥 , 托马斯·希尔德布兰特 :
以因果关系和事件为Psi-calculi的并发模型。 4-20 托马斯·吉文·威尔森 :
图灵机的内涵并发忠实编码。 21-37 Sung-Shik T.Q.Jongmans公司 , 法哈德·阿巴布 :
朝向顺序化超并行协议代码。 38-44 迭戈·拉特拉 , 米歇尔·洛雷蒂 , 梅克·马西克 :
现场概率模型检查。 45-59 尼古拉斯·尼宁 , 埃曼纽尔·豪科特 :
零半格范畴中立方面积作为张量积的布尔代数。 60-66 大卫·巴兹勒 , 皮耶保罗·德加诺 , 吉安·路易吉·费拉里 , 埃米利奥·托斯托 :
通过合同自动化从编排到编排。 67-85 马西莫·巴托莱蒂 , 蒂齐亚娜·西莫利 , G.米歇尔·平纳 :
关于两个遵从性概念的注释。 86-93 Franco Barbanera公司 , 乌戈·德利古罗 :
放松客户机/服务器系统中合规性和子行为的概念。 94-110