×

代数开发技术的最新趋势。2006年6月1日至3日,第18届国际研讨会,WADT 2006,比利时拉罗什-阿登。修订了选定的论文。 (英语) Zbl 1116.68005号

计算机科学课堂讲稿4409.柏林:施普林格出版社(ISBN 978-3-540-71997-7/pbk)。vii,171页。(2007年)。

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。之前的研讨会已经过审查(请参阅Zbl 1069.68006号).
索引文章:
保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;阿尔贝托·卢什·拉富恩特,用于验证图形转换系统的时序图形逻辑,1-20[Zbl 1196.68154号]
卡洛斯·卡莱罗;里卡多·贡萨阿尔维斯,关于多门逻辑的代数化,21-36[Zbl 1196.03084号]
Kreowski,Hans-Jörg;萨宾·库斯克、自治单元及其语义——平行情况,56-73[Zbl 1196.68158号]
克劳斯·Lüttich;蒂尔·莫萨科夫斯基,通过自动化定理证明系统为CASL提供推理支持,74-91[Zbl 1196.68147号]
莫萨科夫斯基(Till Mossakowski);马库斯·罗根巴赫,结构化CSP–作为机构的过程代数,92-110[Zbl 1196.68159号]
卢茨·施罗德;蒂尔·莫萨科夫斯基,CoCasl中的Coargebraic模态逻辑,127-141[Zbl 1196.68148号]
Sara Van Langenhove;艾伯特·胡格威伊斯,SV\(_{\text{t}}\)L:通过逻辑工具支持的系统验证,用于验证分层状态图,142-155[Zbl 1196.68144号]
乌韦·沃尔特,CSP中同步的(共)代数分析,156-170[Zbl 1196.68163号]

MSC公司:

68-06 与计算机科学有关的会议记录、会议、收藏等
60年第68季度 规范和验证(程序逻辑、模型检查等)
00B25型 杂项特定利益的会议记录

软件:

CoCasl公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部