论文标题
会议记录合并了第29届国际同时表达和第19届结构性操作语义讲习班
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
论文作者
论文摘要
该卷包含Express/SOS 2022的会议记录：第29届国际并发性表达的国际研讨会和第19届结构操作语义的讲习班，该讲习班是在波兰的华沙举行的，作为第33届国际与偶然性理论的国际国际会议。 Express/SOS研讨会系列旨在将对系统和编程概念的正式语义以及计算模型的表现力感兴趣。
This volume contains the proceedings of EXPRESS/SOS 2022: the Combined 29th International Workshop on Expressiveness in Concurrency and the 19th Workshop on Structural Operational Semantics, which was held in Warsaw, Poland, as an affiliated workshop of CONCUR 2022, the 33rd International Conference on Concurrency Theory. The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.
