Abstract
This Special Issue of Information and Computation contains selected papers from two editions (2021 and 2022) of EXPRESS/SOS, the Combined International Workshop on Expressiveness in Concurrency (EXPRESS) and Structural Operational Semantics (SOS), which is held every year in affiliation with CONCUR (the International Conference on Concurrency Theory). The aim of this Special Issue is to highlight the best contributions presented at the two editions of the workshop, in order to make them more accessible to the researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
