论文标题
会议记录结合了第27届国际同时表达和关于结构操作语义的讲习班的讲习班
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
论文作者
论文摘要
本卷包含Express/SOS 2020的会议记录：第27届国际同意表达式和第17届关于结构性操作语义的讲习班，该讲习班是在线举行的，作为第31届国际并发理论的Concur Concur Concur Concur Concur Concur Concur的讲习班。 Express/SOS研讨会系列旨在将对系统和编程概念的正式语义以及计算模型的表现力感兴趣。
This volume contains the proceedings of EXPRESS/SOS 2020: the Combined 27th International Workshop on Expressiveness in Concurrency and the 17th Workshop on Structural Operational Semantics, which was held online, as an affiliated workshop of CONCUR 2020, the 31st 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.
