export record
dblp key:
journals/corr/abs-2008-13358 share record
persistent URL:
Ryan Kavanagh : Substructural Observed Communication Semantics. EXPRESS/SOS 2020 : 69-87 export record
dblp key:
journals/corr/abs-2008-13359 share record
persistent URL:
Manfred Schmidt-Schauß , David Sabel : Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars. EXPRESS/SOS 2020 : 88-105 export record
dblp key:
journals/corr/abs-2009-00391 share record
persistent URL:
Davide Ancona , Angelo Ferrando , Viviana Mascardi : Can determinism and compositionality coexist in RML? EXPRESS/SOS 2020 : 13-32 export record
dblp key:
journals/corr/abs-2008-12414 share record
persistent URL:
Ornela Dardha , Jurriaan Rot : 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. EPTCS 322, 2020 [contents] 2019 export record
dblp key:
journals/corr/abs-1905-12963 share record
persistent URL:
Omar al Duhaiby , Jan Friso Groote : Distribution of Behaviour into Parallel Communicating Subsystems. EXPRESS/SOS 2019 : 54-68 export record
dblp key:
journals/corr/abs-1908-08633 share record
persistent URL:
Kirstin Peters : Comparing Process Calculi Using Encodings. EXPRESS/SOS 2019 : 19-38 export record
dblp key:
journals/corr/abs-1908-08634 share record
persistent URL:
Frank Valencia : Semantic Structures for Spatially-Distributed Multi-Agent Systems. EXPRESS/SOS 2019 : 39-53 export record
dblp key:
journals/corr/abs-1908-08635 share record
persistent URL:
Rob van Glabbeek : On the Meaning of Transition System Specifications. EXPRESS/SOS 2019 : 69-85 export record
dblp key:
journals/corr/abs-1908-08636 share record
persistent URL:
Daniele Gorla , Ivano Salvo , Adolfo Piperno : Conflict vs Causality in Event Structures. EXPRESS/SOS 2019 : 86-101 export record
dblp key:
journals/corr/abs-1908-08637 share record
persistent URL:
Tobias Prehn , Myron Rotter : Immediate Observation in Mediated Population Protocols. EXPRESS/SOS 2019 : 102-113 export record
dblp key:
journals/corr/abs-1908-11169 share record
persistent URL:
Tom Hirschowitz : Cellular Monads from Positive GSOS Specifications. EXPRESS/SOS 2019 : 1-18 export record
dblp key:
journals/corr/abs-1908-08213 share record
persistent URL:
Jorge A. Pérez , Jurriaan Rot : 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. EPTCS 300, 2019 [contents] 2018 export record
dblp key:
journals/corr/abs-1808-08648 share record
persistent URL:
Jens Aagaard , Hans Hüttel , Mathias Jakobsen , Mikkel Kettunen : Context-Free Session Types for Applied Pi-Calculus. EXPRESS/SOS 2018 : 3-18 export record
dblp key:
journals/corr/abs-1808-08649 share record
persistent URL:
Valentina Castiglioni : Trace and Testing Metrics on Nondeterministic Probabilistic Processes. EXPRESS/SOS 2018 : 19-36 export record
dblp key:
journals/corr/abs-1808-08650 share record
persistent URL:
Jane Hillston , Carla Piazza , Sabina Rossi : Persistent Stochastic Non-Interference. EXPRESS/SOS 2018 : 53-68 export record
dblp key:
journals/corr/abs-1808-08651 share record
persistent URL:
James Hoey , Irek Ulidowski , Shoji Yuen : Reversing Parallel Programs with Blocks and Procedures. EXPRESS/SOS 2018 : 69-86 export record
dblp key:
journals/corr/abs-1808-08652 share record
persistent URL:
Chun Tian , Davide Sangiorgi : Unique Solutions of Contractions, CCS, and their HOL Formalisation. EXPRESS/SOS 2018 : 122-139 export record
dblp key:
journals/corr/abs-1808-08655 share record
persistent URL:
Doriana Medic , Claudio Antares Mezzina , Iain Phillips , Nobuko Yoshida : A Parametric Framework for Reversible Pi-Calculi. EXPRESS/SOS 2018 : 87-103 export record
dblp key:
journals/corr/abs-1808-09361 share record
persistent URL:
Kirstin Peters , Uwe Nestmann : On the Distributability of Mobile Ambients. EXPRESS/SOS 2018 : 104-121 export record
dblp key:
journals/corr/abs-1808-08071 share record
persistent URL:
Jorge A. Pérez , Simone Tini : Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. EPTCS 276, 2018 [contents] 2017 export record
dblp key:
journals/corr/abs-1709-00826 share record
persistent URL:
Victor Dyseryn , Rob J. van Glabbeek , Peter Höfner : Analysing Mutual Exclusion using Process Algebra with Signals. EXPRESS/SOS 2017 : 18-34 export record
dblp key:
journals/corr/abs-1709-00827 share record
persistent URL:
James Ferlez , Rance Cleaveland , Steven I. Marcus : Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees. EXPRESS/SOS 2017 : 35-50 export record
dblp key:
journals/corr/abs-1709-00828 share record
persistent URL:
James Hoey , Irek Ulidowski , Shoji Yuen : Reversing Imperative Parallel Programs. EXPRESS/SOS 2017 : 51-66 export record
dblp key:
journals/corr/abs-1709-00829 share record
persistent URL:
Hans Hüttel : Using Session Types for Reasoning About Boundedness in the Pi-Calculus. EXPRESS/SOS 2017 : 67-82 export record
dblp key:
journals/corr/abs-1709-00830 share record
persistent URL:
Jurriaan Rot : Distributive Laws for Monotone Specifications. EXPRESS/SOS 2017 : 83-97 export record
dblp key:
journals/corr/abs-1709-02440 share record
persistent URL:
Jos C. M. Baeten , Bas Luttik , Fei Yang : Sequential Composition in the Presence of Intermediate Termination (Extended Abstract). EXPRESS/SOS 2017 : 1-17 export record
dblp key:
journals/corr/abs-1709-00049 share record
persistent URL:
Kirstin Peters , Simone Tini : Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017. EPTCS 255, 2017 [contents] 2016 share record
persistent URL:
Xian Xu : Higher-order Processes with Parameterization over Names and Processes. EXPRESS/SOS 2016 : 15-29 share record
persistent URL:
Eduard Baranov , Simon Bliudze : A Note on the Expressiveness of BIP. EXPRESS/SOS 2016 : 1-14 export record
dblp key:
journals/corr/Dezani-Ciancaglini16a share record
persistent URL:
Mariangiola Dezani-Ciancaglini , Paola Giannini : Reversible Multiparty Sessions with Checkpoints. EXPRESS/SOS 2016 : 60-74