信息学报,第52卷
第52卷第1期,2015年2月
Ernst-Rüdiger Olderog公司 :
总编辑的来信。 1-2 罗布·范·格拉贝克 , 乌苏拉·戈尔茨 , 埃尔恩斯特·吕迪格·奥德罗格 :
关于“组合性和并发性”的特别问题:第1部分。 3-4 罗伯托·布鲁尼 , 乌戈·蒙塔纳里 , 马泰奥·桑马蒂诺 :
重新审视因果关系。 5-33 艾克·贝斯特 , 雷蒙德·R·德维尔斯 :
持久性系统的综合和再工程。 35-60 马可·贝尔纳多 , 洛科·德·尼古拉 , 米歇尔·洛雷蒂 :
重温非确定性和概率过程的双相似性及其模态逻辑。 61-106
第52卷,编号2-3,2015年4月
杰拉尔德·吕特根 , 弗拉维奥·科拉迪尼 :
在沃尔特·福格勒60岁生日之际,专门发行了一期“理解规范和分析中的异步性”。 107-108 韩海棠 , 伯恩哈德·莫勒 :
模态代数和Petri网。 109-132 艾克·贝斯特 , Raymond R.Devillers公司 :
T系统的状态空间公理。 133-152 约格·德塞尔 , 戈尔基姆·基林索 :
Petri网的可观测活性。 153-174 罗布·范·格拉贝克 , 彼得·霍夫纳 :
CCS:这不公平!- 公平调度程序无法在类似CCS的语言中实现,即使是在进行和某些公平假设的情况下。 175-205 安蒂·瓦尔马里 :
从其他LTS算子看LTS算子的可构造性和不可构造性。 207-234 罗尔夫·亨尼克 , 亚历山大·纳普 :
从界面理论转向组装理论。 235-268 尼古拉·贝内斯 , 扬·克伦斯克 , 金·拉森 , 米凯尔·莫勒 , 所罗门·西克特 , 吉尔·斯尔巴 :
参数模态转换系统的精化检查。 269-297
第52卷,编号4-5,2015年6月
曼弗雷德·布罗伊 :
致力于信息学的一生:弗里德里希·鲍尔教授的讣告。 299-301 罗布·范·格拉贝克 , 乌苏拉·戈尔茨 , Ernst-Rüdiger Olderog公司 :
关于“组合性和并发性”的特别问题:第2部分。 303-304 杰拉尔德·吕特根 , 沃尔特·福格勒 , 萨斯查·芬德里奇 :
具有乐观和悲观兼容性的更丰富的接口自动机。 305-336 休伯特·加拉维 , 弗雷德里克·朗 , Radu Mateescu公司 :
使用CADP对异步并发系统进行组合验证。 337-392 约阿金·阿瓜多 , 迈克尔·门德勒 , 莱因哈德·冯·汉克斯利登 , 英萨·福尔曼 :
同步并发构造调度的表示定点语义。 393-442 约阿希姆·克莱因 , 克里斯特尔·拜尔 , Sascha Klüppelholz公司 :
大多数通用控制器的组成结构。 443-482
第52卷第6期,2015年9月
陈明凡 , Jen-Tese Wang(Jen-Tse王) , 程智煌 :
对合二元关系的一些性质。 483-495 弗兰克·德雷维斯 , 伯托尔·霍夫曼 :
上下文超边缘替换。 497-524 亚历杭德罗·桑切斯 , 塞萨尔·桑切斯 :
无限状态过程的参数化不变性。 525-557
第52卷,编号7-8,2015年11月
乔斯特·恩格弗里特 :
用于部分函数的双向卵石传感器及其组成。 559-571 安东尼奥·贝尔尼尼 , 斯特凡诺·比洛塔 , 伦佐·平扎尼 , 艾哈迈德·萨布里 , 文森特·瓦尼诺夫斯基 :
q元单词的灰度码顺序避免了给定的因素。 573-592 弗里德里希·奥托 , Frantisek先生 :
图片语言的确定性有序重启自动机。 593-623
![](https://dblp.org/img/cog.dark.24x24.png)