第 22 届并发表达性国际研讨会暨第 12 届结构操作语义学研讨会联合论文集
计算机科学中的逻辑
2015-08-27 v1
摘要
本卷包含了第 22 届并发表达性国际研讨会暨第 12 届结构操作语义学研讨会（EXPRESS/SOS 2015）的论文集，该联合研讨会于 2015 年 8 月 31 日在西班牙马德里举行，是 CONCUR 2015（第 26 届并发理论国际会议）的附属研讨会。EXPRESS 研讨会旨在汇聚对各种形式系统与语义概念（特别是在并发领域）的表达性感兴趣的研究人员。其传统焦点是在相对表达能力的基础上，比较编程概念（如并发、函数式、命令式、逻辑与面向对象编程）与计算数学模型（如进程代数、Petri 网、事件结构、模态逻辑与重写系统）。EXPRESS 系列研讨会自 1994 年以来成功举办，多年来其焦点已变得更为宽泛。SOS 研讨会旨在为对结构操作语义学领域的新发展及未来研究方向感兴趣的研究人员、学生与从业者提供一个论坛。SOS 系列研讨会的一个具体目标是，在从事 SOS 理论与实践的并发与编程语言社区之间建立协同作用。自 2012 年起，EXPRESS 与 SOS 社区每年组织一次联合的 EXPRESS/SOS 研讨会，主题为计算数学模型的表达性以及系统与编程概念的形式语义。
引用
@article{arxiv.1508.06347,
title = {Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics},
author = {Silvia Crafa and Daniel E. Gebler},
journal= {arXiv preprint arXiv:1508.06347},
year = {2015}
}