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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 26-40, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hirschkoff, Enguerrand Prebet |
Using Pi-Calculus Names as Locks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 76-96, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt |
Deriving Abstract Interpreters from Skeletal Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 97-113, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marjan Sirjani, Ehsan Khamespanah |
Timed Actors and Their Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 1-7, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shunya Oguchi, Shoji Yuen |
CRIL: A Concurrent Reversible Intermediate Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 149-167, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink |
A Cancellation Law for Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 42-58, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 132-148, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi |
EXPRESSing Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 8-25, 2023. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 114-131, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rob van Glabbeek, Peter Höfner, Weiyou Wang |
A Lean-Congruence Format for EP-Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 59-75, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stian Lasse Lybech |
Encodability and Separation for a Reflective Higher-Order Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022., pp. 95-112, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters, Nobuko Yoshida |
On the Expressiveness of Mixed Choice Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022., pp. 113-130, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anna Philippou, Kyriaki Psara |
Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022., pp. 131-150, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022., pp. 43-59, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bas van den Heuvel 0001, Jorge A. Pérez 0001 |
Asynchronous Functional Sessions: Cyclic and Concurrent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022., pp. 75-94, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Crafa |
From Legal Contracts to Legal Calculi: the code-driven normativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022., pp. 23-42, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Clément Aubert, Ross Horne, Christian Johansen |
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022., pp. 3-22, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield |
From CCS to CSP: the m-among-n Synchronisation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022., pp. 60-74, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Bisping, Luisa Montanari |
A Game Characterization for Contrasimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 27-42, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, David Sabel |
Minimal Translations from Synchronous Communication to Synchronizing Locks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 59-75, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xian Xu, Wenbo Zhang |
On Decidability of the Bisimilarity on Higher-order Processes with Parameterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 76-92, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Cimini, Benjamin Mourad |
Language Transformations in the Classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 43-58, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jan Friso Groote |
Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 2-8, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eric Alsmann, Florian Bruse, Martin Lange |
Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 10-26, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 88-105, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mark Bouwman, Bas Luttik, Wouter Schols, Tim A. C. Willemse |
A process algebra with global variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 33-50, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bas Luttik |
Divergence-Preserving Branching Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 3-11, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rob van Glabbeek |
Reactive Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 51-68, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Kavanagh |
Substructural Observed Communication Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 69-87, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi |
Can determinism and compositionality coexist in RML? ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 13-32, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Gorla, Ivano Salvo, Adolfo Piperno |
Conflict vs Causality in Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 86-101, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frank Valencia |
Semantic Structures for Spatially-Distributed Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 39-53, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters |
Comparing Process Calculi Using Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 19-38, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rob van Glabbeek |
On the Meaning of Transition System Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 69-85, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Omar al Duhaiby, Jan Friso Groote |
Distribution of Behaviour into Parallel Communicating Subsystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 54-68, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Prehn, Myron Rotter |
Immediate Observation in Mediated Population Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 102-113, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tom Hirschowitz |
Cellular Monads from Positive GSOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 1-18, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | James Hoey, Irek Ulidowski, Shoji Yuen |
Reversing Parallel Programs with Blocks and Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018., pp. 69-86, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Valentina Castiglioni |
Trace and Testing Metrics on Nondeterministic Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018., pp. 19-36, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen |
Context-Free Session Types for Applied Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018., pp. 3-18, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters, Uwe Nestmann |
On the Distributability of Mobile Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018., pp. 104-121, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Doriana Medic, Claudio Antares Mezzina, Iain Phillips 0001, Nobuko Yoshida |
A Parametric Framework for Reversible Pi-Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018., pp. 87-103, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jane Hillston, Carla Piazza, Sabina Rossi |
Persistent Stochastic Non-Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018., pp. 53-68, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chun Tian 0001, Davide Sangiorgi |
Unique Solutions of Contractions, CCS, and their HOL Formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018., pp. 122-139, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | James Ferlez, Rance Cleaveland, Steven I. Marcus |
Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017., pp. 35-50, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hans Hüttel |
Using Session Types for Reasoning About Boundedness in the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017., pp. 67-82, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Victor Dyseryn, Rob J. van Glabbeek, Peter Höfner |
Analysing Mutual Exclusion using Process Algebra with Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017., pp. 18-34, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | James Hoey, Irek Ulidowski, Shoji Yuen |
Reversing Imperative Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017., pp. 51-66, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Jurriaan Rot |
Distributive Laws for Monotone Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017., pp. 83-97, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jos C. M. Baeten, Bas Luttik, Fei Yang |
Sequential Composition in the Presence of Intermediate Termination (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017., pp. 1-17, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Baranov, Simon Bliudze |
A Note on the Expressiveness of BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 1-14, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matias David Lee, Bas Luttik |
Unique Parallel Decomposition for the Pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 45-59, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sanjiva Prasad, Lenore D. Zuck |
Self-Similarity Breeds Resilience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 30-44, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Paola Giannini |
Reversible Multiparty Sessions with Checkpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 60-74, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xian Xu 0001 |
Higher-order Processes with Parameterization over Names and Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 15-29, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pedro R. D'Argenio, Matias David Lee, Daniel Gebler |
SOS rule formats for convex and abstract probabilistic bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 31-45, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Reuben N. S. Rowe |
Encoding the Factorisation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 76-90, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters, Rob J. van Glabbeek |
Analysing and Comparing Encodability Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 46-60, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez 0001 |
On Compensation Primitives as Adaptable Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 16-30, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann |
Encoding CSP into CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 61-75, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ornela Dardha, Jorge A. Pérez 0001 |
Comparing Deadlock-Free Session Typed Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 1-15, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann |
Matching in the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 16-29, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Åman Pohjola, Joachim Parrow |
Priorities Without Priorities: Representing Preemption in Psi-Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 2-15, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Given-Wilson |
On the Expressiveness of Intensional Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 30-46, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin, Beata Nachyla |
Distributive Laws and Decidable Properties of SOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 79-93, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Wagner, Uwe Nestmann |
States in Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 48-62, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gebler, Simone Tini |
Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 63-78, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Simon J. Gay, Nils Gesbert, António Ravara |
Session Types as Generic Process Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 94-110, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 111-129, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Iliano Cervesato, Jorge Luis Sacchini |
Towards Meta-Reasoning in the Concurrent Logical Framework CLF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 2-16, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 47-62, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Youssef Arbach, Kirstin Peters, Uwe Nestmann |
Adding Priority to Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 17-31, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pieter J. L. Cuijpers |
The categorical limit of a sequence of dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 78-92, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi 0001 |
Algebraic Meta-Theory of Processes with Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 63-77, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir |
Meta SOS - A Maude Based SOS Meta-Theory Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 93-107, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gebler, Simone Tini |
Compositionality of Approximate Bisimulation for Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 32-46, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Gazda, Tim A. C. Willemse |
Expressiveness and Completeness in Abstraction ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 49-64, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Boudol, Gustavo Petri, Bernard P. Serpette |
Relaxed Operational Semantics of Concurrent Programming Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 19-33, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Czerwinski, Slawomir Lasota 0001 |
Partially-commutative context-free languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 35-48, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rob J. van Glabbeek |
Musings on Encodings and Expressiveness ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 81-98, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot |
On the specification of operations on the rational behaviour of systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 3-18, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Mennicke |
An Operational Petri Net Semantics for the Join-Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 131-147, 2012. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 115-130, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maxim Strygin, Hayo Thielecke |
Operational semantics for signal handling ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 149-163, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marco Giunti, Catuscia Palamidessi, Frank D. Valencia |
Hide and New in the Pi-Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 65-79, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Hofman, Patrick Totzke |
Approximating Weak Bisimilarity of Basic Parallel Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: 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., pp. 99-113, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|