Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics
Jorge A. P\'erez (University of Groningen, The Netherlands), Simone, Tini (University of Insubria, Italy)

TL;DR
This volume compiles research from the EXPRESS and SOS workshops focusing on the expressiveness of formal systems and semantics in concurrency and programming languages, highlighting recent advances and future directions.
Contribution
It presents a collection of recent research developments in the expressiveness of formal models and structural operational semantics from the 2018 workshops.
Findings
Comparison of programming concepts and models of computation
New insights into the expressiveness of process algebras and Petri nets
Advances in structural operational semantics for concurrent systems
Abstract
This volume contains the proceedings of the Combined 25th International Workshop on Expressiveness in Concurrency and the 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018), which was held on September 3, 2018, in Beijing, China, as an affiliated workshop of CONCUR 2018, the 29th International Conference on Concurrency Theory. The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has traditionally been on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, and rewrite systems) on the basis of their relative expressive power. The SOS…
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.
