第30届并发表达性国际研讨会与第20届结构操作语义研讨会联合会议论文集
计算机科学中的逻辑
2023-09-13 v1 信息论
math.IT
摘要
本卷收录了EXPRESS/SOS 2023的会议论文：第30届并发表达性国际研讨会与第20届结构操作语义研讨会，该会议在比利时安特卫普举行，作为CONCUR 2023（第34届并发理论国际会议）的附属研讨会。EXPRESS/SOS研讨会系列旨在汇聚对系统与编程概念的形式语义以及计算模型表达性感兴趣的研究人员。
引用
@article{arxiv.2309.05788,
title = {Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics},
author = {Claudio Antares Mezzina and Georgiana Caltais},
journal= {arXiv preprint arXiv:2309.05788},
year = {2023}
}