Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
Georgiana Caltais (University of Twente), Cinzia Di Giusto, (Universit\'e C\^ote d'Azur)
TL;DR
This collection of workshop proceedings presents recent research on the formal semantics and expressiveness of concurrent systems and computational models, fostering collaboration among researchers in these areas.
Contribution
It compiles the latest research findings from EXPRESS/SOS 2024, highlighting advancements in formal semantics and expressiveness in concurrency and operational semantics.
Findings
New semantic frameworks for concurrent systems
Enhanced understanding of expressiveness in computational models
Innovative methods for formal verification
Abstract
This volume contains the proceedings of EXPRESS/SOS 2024: the Combined 31st International Workshop on Expressiveness in Concurrency and the 21st Workshop on Structural Operational Semantics, which was held in Calgary, Canada, as an affiliated workshop of CONFEST 2024. 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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.