第 21 届并发表达性国际研讨会与第 11 届结构操作语义研讨会联合论文集
计算机科学中的逻辑
2014-08-07 v1 编程语言
摘要
本卷收录了第 21 届并发表达性国际研讨会与第 11 届结构操作语义研讨会（EXPRESS/SOS 2014）的论文集，该会议于 2014 年 9 月 1 日在意大利罗马举行，作为第 25 届并发理论国际会议（CONCUR 2014）的附属研讨会。EXPRESS 研讨会旨在汇聚对各类形式系统和语义概念的表达性感兴趣的研究人员，特别是在并发领域。其传统重点是基于相对表达能力，比较编程概念（如并发、函数式、命令式、逻辑和面向对象编程）与计算数学模型（如进程代数、Petri 网、事件结构、模态逻辑和重写系统）。EXPRESS 研讨会系列自 1994 年以来成功运行，多年来其关注点已变得更为广泛。SOS 研讨会旨在成为研究人员、学生和从业者的论坛，探讨结构操作语义领域的新发展和未来研究方向。SOS 研讨会系列的具体目标之一是在从事 SOS 理论与实践的并发社区和编程语言社区之间建立协同效应。同时也非常欢迎关于 SOS 应用于其他领域的报告，包括：生物系统的建模与分析、计算机系统编程的安全性、嵌入式系统的建模与分析、中间件和协调语言的规范、编程语言语义与实现、静态分析、软件和硬件验证，以及特定领域语言和基于模型的工程的语义。
引用
@article{arxiv.1408.1271,
title = {Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics},
author = {Johannes Borgström and Silvia Crafa},
journal= {arXiv preprint arXiv:1408.1271},
year = {2014}
}