第24届国际并发表达性研讨会与第14届结构操作语义研讨会联合会议录
计算机科学中的逻辑
2017-09-04 v1 编程语言
摘要
本卷包含第24届国际并发表达性研讨会与第14届结构操作语义研讨会（EXPRESS/SOS 2017）的会议录，该会议于2017年9月4日在德国柏林举行，作为CONCUR 2017（第28届并发理论国际会议）的附属研讨会。EXPRESS研讨会旨在汇聚对各类形式系统与语义概念（尤其是并发领域）的表达性感兴趣的研究人员。其传统焦点是基于相对表达力比较编程概念（如并发、函数式、命令式、逻辑和面向对象编程）与计算数学模型（如进程代数、Petri网、事件结构、模态逻辑和重写系统）。EXPRESS研讨会系列自1994年成功运行，多年来此焦点已广泛构建。SOS研讨会旨在成为对结构操作语义领域新发展与未来研究方向感兴趣的研究人员、学生和实践者的论坛。SOS研讨会系列的具体目标之一是在研究SOS理论与实践的并发与编程语言社区之间建立协同。自2012年起，EXPRESS与SOS社区组织了年度联合EXPRESS/SOS研讨会，探讨计算数学模型的表达性与系统及编程概念的形式语义。
引用
@article{arxiv.1709.00049,
title = {Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics},
author = {Kirstin Peters and Simone Tini},
journal= {arXiv preprint arXiv:1709.00049},
year = {2017}
}