EXPRESS/SOS

Keyphrases

Publications

2023

Rob van Glabbeek, Peter Höfner, Weiyou Wang
A Lean-Congruence Format for EP-Bisimilarity. EXPRESS/SOS (2023)
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
Quantifying Masking Fault-Tolerance via Fair Stochastic Games. EXPRESS/SOS (2023)
Shunya Oguchi, Shoji Yuen
CRIL: A Concurrent Reversible Intermediate Language. EXPRESS/SOS (2023)
Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi
EXPRESSing Session Types. EXPRESS/SOS (2023)
Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi
The Way We Were: Structural Operational Semantics Research in Perspective. EXPRESS/SOS (2023)
Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt
Deriving Abstract Interpreters from Skeletal Semantics. EXPRESS/SOS (2023)
Jos C. M. Baeten, Bas Luttik
Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract). EXPRESS/SOS (2023)
Marjan Sirjani, Ehsan Khamespanah
Timed Actors and Their Formal Verification. EXPRESS/SOS (2023)
Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink
A Cancellation Law for Probabilistic Processes. EXPRESS/SOS (2023)
Daniel Hirschkoff, Enguerrand Prebet
Using Pi-Calculus Names as Locks. EXPRESS/SOS (2023)

volume 387, 2023

Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023. EXPRESS/SOS 387 (2023)

2022

volume 368, 2022

Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, and 19th Workshop on Structural Operational Semantics Warsaw, Poland, 12th September 2022. EXPRESS/SOS 368 (2022)

2021

volume 339, 2021

Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021, and 18th Workshop on Structural Operational SemanticsParis, France (online event), 23rd August 2021. EXPRESS/SOS 339 (2021)

2020

volume 322, 2020

Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020. EXPRESS/SOS 322 (2020)

2019

volume 300, 2019

Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, 26th August 2019. EXPRESS/SOS 300 (2019)

2018

volume 276, 2018

Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. EXPRESS/SOS 276 (2018)