Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001 |
The Way We Were: Structural Operational Semantics Research in Perspective. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hirschkoff, Enguerrand Prebet |
Using Pi-Calculus Names as Locks. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt |
Deriving Abstract Interpreters from Skeletal Semantics. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marjan Sirjani, Ehsan Khamespanah |
Timed Actors and Their Formal Verification. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shunya Oguchi, Shoji Yuen |
CRIL: A Concurrent Reversible Intermediate Language. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink |
A Cancellation Law for Probabilistic Processes. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele |
Quantifying Masking Fault-Tolerance via Fair Stochastic Games. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Antares Mezzina, Georgiana Caltais (eds.) |
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 |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi |
EXPRESSing Session Types. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jos C. M. Baeten, Bas Luttik |
Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract). |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rob van Glabbeek, Peter Höfner, Weiyou Wang |
A Lean-Congruence Format for EP-Bisimilarity. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stian Lasse Lybech |
Encodability and Separation for a Reflective Higher-Order Calculus. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters, Nobuko Yoshida |
On the Expressiveness of Mixed Choice Sessions. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Valentina Castiglioni, Claudio Antares Mezzina (eds.) |
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anna Philippou, Kyriaki Psara |
Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, Stian Lasse Lybech |
A Generic Type System for Higher-Order Ψ-calculi. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bas van den Heuvel 0001, Jorge A. Pérez 0001 |
Asynchronous Functional Sessions: Cyclic and Concurrent. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Crafa |
From Legal Contracts to Legal Calculi: the code-driven normativity. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Clément Aubert, Ross Horne, Christian Johansen |
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield |
From CCS to CSP: the m-among-n Synchronisation Approach. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Bisping, Luisa Montanari |
A Game Characterization for Contrasimilarity. |
EXPRESS/SOS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, David Sabel |
Minimal Translations from Synchronous Communication to Synchronizing Locks. |
EXPRESS/SOS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xian Xu, Wenbo Zhang |
On Decidability of the Bisimilarity on Higher-order Processes with Parameterization. |
EXPRESS/SOS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Cimini, Benjamin Mourad |
Language Transformations in the Classroom. |
EXPRESS/SOS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ornela Dardha, Valentina Castiglioni (eds.) |
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 |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jan Friso Groote |
Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel. |
EXPRESS/SOS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eric Alsmann, Florian Bruse, Martin Lange |
Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics. |
EXPRESS/SOS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, David Sabel |
Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars. |
EXPRESS/SOS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mark Bouwman, Bas Luttik, Wouter Schols, Tim A. C. Willemse |
A process algebra with global variables. |
EXPRESS/SOS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bas Luttik |
Divergence-Preserving Branching Bisimilarity. |
EXPRESS/SOS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rob van Glabbeek |
Reactive Temporal Logic. |
EXPRESS/SOS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Kavanagh |
Substructural Observed Communication Semantics. |
EXPRESS/SOS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi |
Can determinism and compositionality coexist in RML? |
EXPRESS/SOS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ornela Dardha, Jurriaan Rot (eds.) |
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 |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Gorla, Ivano Salvo, Adolfo Piperno |
Conflict vs Causality in Event Structures. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frank Valencia |
Semantic Structures for Spatially-Distributed Multi-Agent Systems. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters |
Comparing Process Calculi Using Encodings. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rob van Glabbeek |
On the Meaning of Transition System Specifications. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jorge A. Pérez 0001, Jurriaan Rot (eds.) |
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 |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Omar al Duhaiby, Jan Friso Groote |
Distribution of Behaviour into Parallel Communicating Subsystems. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Prehn, Myron Rotter |
Immediate Observation in Mediated Population Protocols. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tom Hirschowitz |
Cellular Monads from Positive GSOS Specifications. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jorge A. Pérez 0001, Simone Tini (eds.) |
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 |
2018 |
DBLP DOI BibTeX RDF |
|
1 | James Hoey, Irek Ulidowski, Shoji Yuen |
Reversing Parallel Programs with Blocks and Procedures. |
EXPRESS/SOS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Valentina Castiglioni |
Trace and Testing Metrics on Nondeterministic Probabilistic Processes. |
EXPRESS/SOS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen |
Context-Free Session Types for Applied Pi-Calculus. |
EXPRESS/SOS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters, Uwe Nestmann |
On the Distributability of Mobile Ambients. |
EXPRESS/SOS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Doriana Medic, Claudio Antares Mezzina, Iain Phillips 0001, Nobuko Yoshida |
A Parametric Framework for Reversible Pi-Calculi. |
EXPRESS/SOS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jane Hillston, Carla Piazza, Sabina Rossi |
Persistent Stochastic Non-Interference. |
EXPRESS/SOS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chun Tian 0001, Davide Sangiorgi |
Unique Solutions of Contractions, CCS, and their HOL Formalisation. |
EXPRESS/SOS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | James Ferlez, Rance Cleaveland, Steven I. Marcus |
Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees. |
EXPRESS/SOS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hans Hüttel |
Using Session Types for Reasoning About Boundedness in the Pi-Calculus. |
EXPRESS/SOS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Victor Dyseryn, Rob J. van Glabbeek, Peter Höfner |
Analysing Mutual Exclusion using Process Algebra with Signals. |
EXPRESS/SOS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | James Hoey, Irek Ulidowski, Shoji Yuen |
Reversing Imperative Parallel Programs. |
EXPRESS/SOS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters, Simone Tini (eds.) |
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017. |
EXPRESS/SOS |
2017 |
DBLP BibTeX RDF |
|
1 | Jurriaan Rot |
Distributive Laws for Monotone Specifications. |
EXPRESS/SOS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jos C. M. Baeten, Bas Luttik, Fei Yang |
Sequential Composition in the Presence of Intermediate Termination (Extended Abstract). |
EXPRESS/SOS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Baranov, Simon Bliudze |
A Note on the Expressiveness of BIP. |
EXPRESS/SOS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matias David Lee, Bas Luttik |
Unique Parallel Decomposition for the Pi-calculus. |
EXPRESS/SOS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gebler, Kirstin Peters (eds.) |
Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, Québec City, Canada, 22nd August 2016. |
EXPRESS/SOS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sanjiva Prasad, Lenore D. Zuck |
Self-Similarity Breeds Resilience. |
EXPRESS/SOS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Paola Giannini |
Reversible Multiparty Sessions with Checkpoints. |
EXPRESS/SOS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xian Xu 0001 |
Higher-order Processes with Parameterization over Names and Processes. |
EXPRESS/SOS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pedro R. D'Argenio, Matias David Lee, Daniel Gebler |
SOS rule formats for convex and abstract probabilistic bisimulations. |
EXPRESS/SOS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Crafa, Daniel Gebler (eds.) |
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015. |
EXPRESS/SOS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Reuben N. S. Rowe |
Encoding the Factorisation Calculus. |
EXPRESS/SOS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters, Rob J. van Glabbeek |
Analysing and Comparing Encodability Criteria. |
EXPRESS/SOS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez 0001 |
On Compensation Primitives as Adaptable Processes. |
EXPRESS/SOS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann |
Encoding CSP into CCS. |
EXPRESS/SOS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ornela Dardha, Jorge A. Pérez 0001 |
Comparing Deadlock-Free Session Typed Processes. |
EXPRESS/SOS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann |
Matching in the Pi-Calculus. |
EXPRESS/SOS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Åman Pohjola, Joachim Parrow |
Priorities Without Priorities: Representing Preemption in Psi-Calculi. |
EXPRESS/SOS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Given-Wilson |
On the Expressiveness of Intensional Communication. |
EXPRESS/SOS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin, Beata Nachyla |
Distributive Laws and Decidable Properties of SOS Specifications. |
EXPRESS/SOS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Borgström, Silvia Crafa (eds.) |
Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014. |
EXPRESS/SOS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Wagner, Uwe Nestmann |
States in Process Calculi. |
EXPRESS/SOS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gebler, Simone Tini |
Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators. |
EXPRESS/SOS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Simon J. Gay, Nils Gesbert, António Ravara |
Session Types as Generic Process Types. |
EXPRESS/SOS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor |
Verification of Linear Optical Quantum Computing using Quantum Process Calculus. |
EXPRESS/SOS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Iliano Cervesato, Jorge Luis Sacchini |
Towards Meta-Reasoning in the Concurrent Logical Framework CLF. |
EXPRESS/SOS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan, S. Arun-Kumar 0004 |
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization. |
EXPRESS/SOS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Borgström, Bas Luttik (eds.) |
Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013. |
EXPRESS/SOS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Youssef Arbach, Kirstin Peters, Uwe Nestmann |
Adding Priority to Event Structures. |
EXPRESS/SOS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pieter J. L. Cuijpers |
The categorical limit of a sequence of dynamical systems. |
EXPRESS/SOS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi 0001 |
Algebraic Meta-Theory of Processes with Data. |
EXPRESS/SOS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir |
Meta SOS - A Maude Based SOS Meta-Theory Framework. |
EXPRESS/SOS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gebler, Simone Tini |
Compositionality of Approximate Bisimulation for Probabilistic Systems. |
EXPRESS/SOS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Gazda, Tim A. C. Willemse |
Expressiveness and Completeness in Abstraction |
EXPRESS/SOS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Boudol, Gustavo Petri, Bernard P. Serpette |
Relaxed Operational Semantics of Concurrent Programming Languages |
EXPRESS/SOS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Czerwinski, Slawomir Lasota 0001 |
Partially-commutative context-free languages |
EXPRESS/SOS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rob J. van Glabbeek |
Musings on Encodings and Expressiveness |
EXPRESS/SOS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bas Luttik, Michel A. Reniers (eds.) |
Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012. |
EXPRESS/SOS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot |
On the specification of operations on the rational behaviour of systems |
EXPRESS/SOS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Mennicke |
An Operational Petri Net Semantics for the Join-Calculus |
EXPRESS/SOS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matias David Lee, Daniel Gebler, Pedro R. D'Argenio |
Tree rules in probabilistic transition system specifications with negative and quantitative premises |
EXPRESS/SOS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maxim Strygin, Hayo Thielecke |
Operational semantics for signal handling |
EXPRESS/SOS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marco Giunti, Catuscia Palamidessi, Frank D. Valencia |
Hide and New in the Pi-Calculus |
EXPRESS/SOS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Hofman, Patrick Totzke |
Approximating Weak Bisimilarity of Basic Parallel Processes |
EXPRESS/SOS |
2012 |
DBLP DOI BibTeX RDF |
|