逻辑与代数程序设计杂志,第78卷
第78卷第1期,2008年11月至12月
郭海峰 , 巴拉特·贾亚拉曼 :
具有解决方案首选项的逻辑编程。 1-21 杨晓晓 , 段振华 :
框架Tempura的操作语义。 22-51 Jos C.M.Baeten先生 , 安娜·索科洛娃 :
Luca Aceto、Anna Ingólfsdóttir、Kim Guldstrand Larsen和Jiri Srba,《反应系统:建模、规范和验证》,剑桥大学出版社(2007)ISBN 9780521875462。 52
第78卷第2期,2009年1月
曼弗雷德·布罗伊 , 乔尔赫·斯特凡内斯库 :
特邀编辑前言:关于“流与代数”的论文选集。 53 扬·朱尔扬(Jan Jürjens) :
基于流的加密协议的域特定语言。 54-73 彼得·霍夫纳 , 伯恩哈德·莫勒 :
混合系统的代数。 74-97 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
从带有故障模型的随机定时系统进行测试。 98-115
第78卷第3期,2009年2月至3月
赫利亚·格拉 , 何塞·费利克斯·科斯塔 :
具有本地和全球活力要求的流程。 117-137 纳迪娅·布西 , 罗伯托·戈里埃里 :
基于带约束弧的Petri网的pi-calculus分布式语义。 138-162 A.W.罗斯科 :
CSP模型的复兴、僵化和层次结构。 163-190
第78卷第4期,2009年4月
卢卡·埃特罗 , Jos C.M.Baeten先生 , 万·J·福克金 , Anna Ingólfsdóttir女士 , 乌韦·内斯特曼 :
前言。 莫里斯·特尔·比克 , 斯蒂芬妮娅·格内西 , 迭戈·拉特拉 , 梅克·马西克 , 毛里齐奥·塞巴斯蒂安尼斯 , 吉安卢卡·特伦坦尼 :
协助设计群件系统。 191-232 克里斯蒂安·布鲁内特 , Jean-Pierre Talpin女士 , 阿卜杜拉耶·加马蒂 , 蒂埃里·高蒂尔 :
多时系统设计的元模型。 233-259 卡门·鲁伊斯先生 , 迭戈·卡佐拉 , 费尔南多·库亚特罗 , 赫梅内吉尔达·马西娅 :
提高柔性制造系统的性能。 260-273 汤姆·A·N·恩格斯 , 简·弗里索·格鲁特 , 穆克·范·维尔登堡 , 蒂姆·A·C·威廉斯 :
用于自动验证的搜索算法。 274-287
第78卷第5期,2009年5月-6月
奥拉夫·奥韦 , 杰拉尔多·施奈德 :
特邀编辑前言。 289-290 奥拉夫·奥韦 , 杰拉尔多·施奈德 :
面向合同的软件的形式语言和分析。 291-292 马丁·勒克 , 克里斯蒂安·夏尔哈特 :
运行时验证的简要说明。 293-303 艾伦·阿克图格 , Mads大坝 , 迪利安·古罗夫 :
运行时监控正确无误。 304-339 娜塔莉娅·别洛娃 , 尼古拉·德拉戈尼 , 法比奥·马萨奇 , 卡齐亚琳娜·纳柳卡 , Ida Sri Rejeki Siahaan女士 :
在移动代码的安全性契约中进行匹配。 340-358 瓦伦特·瓦莱罗 , 玛丽亚·艾米丽亚·坎布罗内罗 , 格雷戈里奥·迪亚斯 , 赫梅内吉尔达·马西娅 :
用于设计和分析Web服务编排的Petri网方法。 359-380 弗里茨·亨莱因 , 肯·弗里斯·拉森 , 雅各布·格鲁·西蒙森 , 克里斯蒂安·斯特凡森 :
POETS:面向流程的事件驱动事务系统。 381-401 穆罕默德·马赫迪·贾古奥里 , 弗兰克·S·德·波尔 , 汤姆·乔西亚 , 马尔扬·西尔贾尼 :
异步实时并发对象的可调度性。 402-416
第78卷第6期,2009年7月
拉尔斯·弗兰岑 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
A-MOST专刊简史,包含A-MOST 2008的精选论文。 417-424 塞萨尔·安德烈斯 , 路易斯·费尔南多·拉娜·迪亚斯 , 伊斯梅尔·罗德里格斯 :
将用户模型测试问题正式转换为实现模型测试问题,反之亦然。 425-453 拉亚·马达尼 , Ioannis Parissis公司 :
使用扩展任务树自动测试交互式应用程序。 454-471 弗雷泽 , 安吉洛·加甘蒂尼 , 弗朗茨·沃塔瓦 :
基于规范的测试中测试目标的顺序。 472-490
第78卷第7期,2009年8月至9月
艾纳·布罗赫·约翰森 , 奥拉夫·奥韦 , 杰拉尔多·施奈德 :
特邀编辑前言。 埃里卡·阿布拉哈姆 , Immo Grabe公司 , 安德烈亚斯·格吕纳 , 马丁·斯特芬 :
具有未来和承诺的面向对象语言的行为接口描述。 491-518 爱娃·布洛斯 , Magne Haveraaen公司 :
一种与硬件无关的并行编程模型。 519-538 大卫·德·弗鲁托斯·埃斯克里格 , 卡洛斯·格雷戈里奥·罗德里格斯 , 米盖尔·帕洛米诺 :
准备就绪:代数和一般证明。 539-551 弗里茨·亨利恩 :
什么是排序函数? 552-572 哈梅尔·内斯特拉 :
最大固定点形式的超有限语义。 573-592 亚历杭德罗·拉索 , 安德烈·萨贝尔菲尔德 :
在同步状态下确保线程和调度程序之间的交互。 593-618 安多·萨巴斯 , 塔尔莫·乌斯塔卢 :
部分冗余消除的证明优化。 619-642 凯·特罗亚纳 , 克莱门斯·格雷克 :
依赖类型的数组程序不会出错。 643-664
第78卷第8期,2009年11月
丹尼尔·戈拉 , 罗萨里奥·普格利泽 :
使用支持网络的协调语言动态管理功能。 665-689 杰森·克兰普顿 :
使用多个密钥进行加密强制的分层访问控制。 690-700 乔克斯·甘扎兰 , 蒙特塞拉特·赫莫 , 帕基·卢西奥 , 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 :
PLTL的Tableaux和序列双重系统。 701-722 M.Mehdi Ebrahimi先生 , 莫伊甘·马哈茂迪 :
MSet中布尔代数的完备。 723-729 瓦伦特·瓦莱罗 , 格雷戈里奥·迪亚斯 , 玛丽亚·艾米丽亚·坎布罗内罗 , 赫梅内吉尔达·马西娅 :
具有时间限制的WS-CDL子集的阻塞操作语义。 730-748
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)