第 27 届并发表达性国际研讨会与第 17 届结构操作语义学研讨会联合会议论文集
计算机科学中的逻辑
2020-08-31 v1 编程语言
摘要
本卷收录了 EXPRESS/SOS 2020 的会议论文：第 27 届并发表达性国际研讨会与第 17 届结构操作语义学研讨会，该会议作为 CONCUR 2020（第 31 届并发理论国际会议）的附属研讨会在线举行。EXPRESS/SOS 研讨会系列旨在汇聚对系统与编程概念的形式语义以及计算模型表达性感兴趣的研究人员。
引用
@article{arxiv.2008.12414,
title = {Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics},
author = {Ornela Dardha and Jurriaan Rot},
journal= {arXiv preprint arXiv:2008.12414},
year = {2020}
}