理论计算机科学,第280卷
第280卷,第1-2期,2002年5月
雅各布施 , Jan J.M.M.Rutten先生 :
计算机科学中的协同代数方法-前言。 1 乌韦·沃尔特 :
CSP、部分自动机和余代数。 3-34 Corina Cêrstea科瑞纳·科斯特 :
用于指定观测结构的联合方程方法。 35-68 亚历山大·库兹 , 罗尔夫·亨尼克 :
关于模块组合规范的机构。 69-103 达斯科·巴甫洛维奇 , 沃恩·R·普拉特 :
连续体作为最后的连续体。 105-122 斯拉沃米尔·拉索塔 :
余代数形态包含开放映射。 123-135 约翰·鲍尔 , 渡边浩史 :
组合单声道和共鸣曲。 137-162 安德烈亚·科拉迪尼 , 瑞科·赫克尔 , 乌戈·蒙塔纳里 :
组合SOS及其以外:开放系统的联合视图。 163-192