第 31 届并发表达能力国际研讨会与第 21 届结构操作语义研讨会联合会议论文集
形式语言与自动机理论
2024-11-21 v1 计算机科学中的逻辑
摘要
本卷包含 EXPRESS/SOS 2024 的论文集：即第 31 届并发表达能力国际研讨会与第 21 届结构操作语义研讨会的联合会议，该会议作为 CONFEST 2024 的附属研讨会在加拿大卡尔加里举行。EXPRESS/SOS 系列研讨会旨在汇聚对系统和编程概念的形式语义以及计算模型表达能力感兴趣的研究人员。
引用
@article{arxiv.2411.13318,
title = {Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics},
author = {Georgiana Caltais and Cinzia Di Giusto},
journal= {arXiv preprint arXiv:2411.13318},
year = {2024}
}