第26届并发表达能力国际研讨会与第16届结构操作语义学研讨会联合会议论文集
计算机科学中的逻辑
2019-08-23 v1 编程语言
摘要
本卷收录了 EXPRESS/SOS 2019 的会议论文集，即第26届并发表达能力国际研讨会与第16届结构操作语义学研讨会联合会议。该会议于2019年8月26日在荷兰阿姆斯特丹举行，作为第30届并发理论国际会议 CONCUR 2019 的附属研讨会。EXPRESS/SOS 系列研讨会旨在汇聚对系统和编程概念的形式语义以及计算模型的表达能力感兴趣的研究人员。
引用
@article{arxiv.1908.08213,
title = {Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics},
author = {Jorge A. Pérez and Jurriaan Rot},
journal= {arXiv preprint arXiv:1908.08213},
year = {2019}
}