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