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