理论计算机科学,第546卷
第546卷,2014年8月
吉安·卢卡·卡塔尼 , 托马斯·希尔德布兰特 , 丹尼尔·瓦拉卡 :
前言。 1-2 莫根斯·尼尔森 :
信任活动结构。 3-6 萨姆森·阿布拉姆斯基 :
上下文中的事件。 7-9 普拉卡什·帕南加登 :
物理学和计算中的因果关系。 10-16 安德烈·鲍尔 , 戈登·普洛金 , 达纳·斯科特 :
可分离Scott域的笛卡尔闭范畴。 17-29
阿尔伯特·本文尼斯特 , 克劳德·贾德 , 萨米·阿贝斯 :
为纪念格林·温斯克尔而作的前言。 30-31 萨米·阿贝斯 :
非对称事件结构的分支单元。 32-51 阿尔伯特·本文尼斯特 , 克劳德·贾德 , 萨米·阿贝斯 :
分支单元在QoS感知服务编排中的应用。 52-62 马可·贝尔纳多 , 罗科·德·尼古拉 , 米歇尔·洛雷蒂 :
将过程的强行为等价性与不确定性和概率联系起来。 63-92 安娜·布卡洛 , 朱塞佩·罗索里尼 :
平衡空间的沉醉。 93-98 皮埃尔·路易斯·居里 , 理查德·加纳 , 马丁·霍夫曼 :
重新审视依赖型理论的范畴解释。 99-119 马塞洛·P·菲奥雷 :
群胚上前置范畴之间的解析函子。 120-131 J.M.E.海兰德 :
代数理论的基本要素。 132-144 吉木敬之(Yoshiki Kinoshita) , 约翰·鲍尔 :
刚毛类的范畴理论结构。 145-163 金·拉森 , 拉杜·马尔代尔 :
加权模态逻辑的完整证明系统。 164-175 迈克尔·米斯洛夫 :
连续随机变量域的剖析I。 176-187 乌戈·蒙塔纳里 , 马泰奥·桑马蒂诺 :
一种网络意识π演算及其余代数语义。 188-224 P.S.Thiagarajan先生 , 杨绍发 :
并发设置中的拉宾定理:一个猜想。 225-236 贾普·范·奥斯滕 :
a.M.Pitts本地操作员的可实现性。 237-243 克里斯蒂安·克劳森 , 奥利维尔·丹维 , Moe Masuko先生 :
Moessner筛子的特性。 244-256