Search results for "SOS"

Hits ?▲	Authors	Title	Venue	Year	Link
37	Rob van Glabbeek	Reactive Temporal Logic.	EXPRESS/SOS	2020	DBLP DOI BibTeX RDF
37	Ryan Kavanagh	Substructural Observed Communication Semantics.	EXPRESS/SOS	2020	DBLP DOI BibTeX RDF
37	Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi	Can determinism and compositionality coexist in RML?	EXPRESS/SOS	2020	DBLP DOI BibTeX RDF
37	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
37	Daniele Gorla, Ivano Salvo, Adolfo Piperno	Conflict vs Causality in Event Structures.	EXPRESS/SOS	2019	DBLP DOI BibTeX RDF
37	Frank Valencia	Semantic Structures for Spatially-Distributed Multi-Agent Systems.	EXPRESS/SOS	2019	DBLP DOI BibTeX RDF
37	Kirstin Peters	Comparing Process Calculi Using Encodings.	EXPRESS/SOS	2019	DBLP DOI BibTeX RDF
37	Rob van Glabbeek	On the Meaning of Transition System Specifications.	EXPRESS/SOS	2019	DBLP DOI BibTeX RDF
37	Omar al Duhaiby, Jan Friso Groote	Distribution of Behaviour into Parallel Communicating Subsystems.	EXPRESS/SOS	2019	DBLP DOI BibTeX RDF
37	Tobias Prehn, Myron Rotter	Immediate Observation in Mediated Population Protocols.	EXPRESS/SOS	2019	DBLP DOI BibTeX RDF
37	Tom Hirschowitz	Cellular Monads from Positive GSOS Specifications.	EXPRESS/SOS	2019	DBLP DOI BibTeX RDF
37	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
37	James Hoey, Irek Ulidowski, Shoji Yuen	Reversing Parallel Programs with Blocks and Procedures.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
37	Valentina Castiglioni	Trace and Testing Metrics on Nondeterministic Probabilistic Processes.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
37	Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen	Context-Free Session Types for Applied Pi-Calculus.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
37	Kirstin Peters, Uwe Nestmann	On the Distributability of Mobile Ambients.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
37	Doriana Medic, Claudio Antares Mezzina, Iain Phillips 0001, Nobuko Yoshida	A Parametric Framework for Reversible Pi-Calculi.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
37	Jane Hillston, Carla Piazza, Sabina Rossi	Persistent Stochastic Non-Interference.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
37	Chun Tian 0001, Davide Sangiorgi	Unique Solutions of Contractions, CCS, and their HOL Formalisation.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
37	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
37	James Ferlez, Rance Cleaveland, Steven I. Marcus	Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees.	EXPRESS/SOS	2017	DBLP DOI BibTeX RDF
37	Hans Hüttel	Using Session Types for Reasoning About Boundedness in the Pi-Calculus.	EXPRESS/SOS	2017	DBLP DOI BibTeX RDF
37	Victor Dyseryn, Rob J. van Glabbeek, Peter Höfner	Analysing Mutual Exclusion using Process Algebra with Signals.	EXPRESS/SOS	2017	DBLP DOI BibTeX RDF
37	James Hoey, Irek Ulidowski, Shoji Yuen	Reversing Imperative Parallel Programs.	EXPRESS/SOS	2017	DBLP DOI BibTeX RDF
37	Jurriaan Rot	Distributive Laws for Monotone Specifications.	EXPRESS/SOS	2017	DBLP DOI BibTeX RDF
37	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
37	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
37	Eduard Baranov, Simon Bliudze	A Note on the Expressiveness of BIP.	EXPRESS/SOS	2016	DBLP DOI BibTeX RDF
37	Matias David Lee, Bas Luttik	Unique Parallel Decomposition for the Pi-calculus.	EXPRESS/SOS	2016	DBLP DOI BibTeX RDF
37	Sanjiva Prasad, Lenore D. Zuck	Self-Similarity Breeds Resilience.	EXPRESS/SOS	2016	DBLP DOI BibTeX RDF
37	Mariangiola Dezani-Ciancaglini, Paola Giannini	Reversible Multiparty Sessions with Checkpoints.	EXPRESS/SOS	2016	DBLP DOI BibTeX RDF
37	Xian Xu 0001	Higher-order Processes with Parameterization over Names and Processes.	EXPRESS/SOS	2016	DBLP DOI BibTeX RDF
37	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
37	Reuben N. S. Rowe	Encoding the Factorisation Calculus.	EXPRESS/SOS	2015	DBLP DOI BibTeX RDF
37	Kirstin Peters, Rob J. van Glabbeek	Analysing and Comparing Encodability Criteria.	EXPRESS/SOS	2015	DBLP DOI BibTeX RDF
37	Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez 0001	On Compensation Primitives as Adaptable Processes.	EXPRESS/SOS	2015	DBLP DOI BibTeX RDF
37	Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann	Encoding CSP into CCS.	EXPRESS/SOS	2015	DBLP DOI BibTeX RDF
37	Ornela Dardha, Jorge A. Pérez 0001	Comparing Deadlock-Free Session Typed Processes.	EXPRESS/SOS	2015	DBLP DOI BibTeX RDF
37	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
37	Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann	Matching in the Pi-Calculus.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
37	Johannes Åman Pohjola, Joachim Parrow	Priorities Without Priorities: Representing Preemption in Psi-Calculi.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
37	Thomas Given-Wilson	On the Expressiveness of Intensional Communication.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
37	Christoph Wagner, Uwe Nestmann	States in Process Calculi.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
37	Daniel Gebler, Simone Tini	Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
37	Simon J. Gay, Nils Gesbert, António Ravara	Session Types as Generic Process Types.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
37	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
37	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
37	Iliano Cervesato, Jorge Luis Sacchini	Towards Meta-Reasoning in the Concurrent Logical Framework CLF.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
37	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
37	Youssef Arbach, Kirstin Peters, Uwe Nestmann	Adding Priority to Event Structures.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
37	Pieter J. L. Cuijpers	The categorical limit of a sequence of dynamical systems.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
37	Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi 0001	Algebraic Meta-Theory of Processes with Data.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
37	Daniel Gebler, Simone Tini	Compositionality of Approximate Bisimulation for Probabilistic Systems.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
37	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
37	Maciej Gazda, Tim A. C. Willemse	Expressiveness and Completeness in Abstraction	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
37	Gérard Boudol, Gustavo Petri, Bernard P. Serpette	Relaxed Operational Semantics of Concurrent Programming Languages	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
37	Wojciech Czerwinski, Slawomir Lasota 0001	Partially-commutative context-free languages	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
37	Rob J. van Glabbeek	Musings on Encodings and Expressiveness	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
37	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
37	Stephan Mennicke	An Operational Petri Net Semantics for the Join-Calculus	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
37	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
37	Maxim Strygin, Hayo Thielecke	Operational semantics for signal handling	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
37	Marco Giunti, Catuscia Palamidessi, Frank D. Valencia	Hide and New in the Pi-Calculus	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
37	Piotr Hofman, Patrick Totzke	Approximating Weak Bisimilarity of Basic Parallel Processes	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
37	Matthew Hennessy, Bartek Klin (eds.)	Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008	SOS@ICALP	2009	DBLP BibTeX RDF
37	Vincent Danos	Agile Modelling of Cellular Signalling (Invited Paper).	SOS@ICALP	2008	DBLP DOI BibTeX RDF
37	Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink	MarCaSPiS: a Markovian Extension of a Calculus for Services.	SOS@ICALP	2008	DBLP DOI BibTeX RDF
37	Matthew Hennessy, Bartek Klin	Preface.	SOS@ICALP	2008	DBLP DOI BibTeX RDF
37	Muck van Weerdenburg	Automating Soundness Proofs.	SOS@ICALP	2008	DBLP DOI BibTeX RDF
37	Eike Best, Kerstin Strecker	Relational Semantics Revisited.	SOS@ICALP	2008	DBLP DOI BibTeX RDF
37	Muck van Weerdenburg, Michel A. Reniers	Structural Operational Semantics with First-Order Logic.	SOS@ICALP	2008	DBLP DOI BibTeX RDF
37	Peter D. Mosses, Mark J. New	Implicit Propagation in Structural Operational Semantics.	SOS@ICALP	2008	DBLP DOI BibTeX RDF
37	Gustavo A. Ospina, Baudouin Le Charlier	Formalisation of C Language Interfaces.	SOS@ICALP	2008	DBLP DOI BibTeX RDF
37	Rob van Glabbeek, Matthew Hennessy (eds.)	Proceedings of the Fourth Workshop on Structural Operational Semantics, SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007	SOS@LICS/ICALP	2007	DBLP BibTeX RDF
37	Traian-Florin Serbanuta, Grigore Rosu, José Meseguer 0001	A Rewriting Logic Approach to Operational Semantics (Extended Abstract).	SOS@LICS/ICALP	2007	DBLP DOI BibTeX RDF
37	Harald Fecher, Heiko Schmidt	Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems.	SOS@LICS/ICALP	2007	DBLP DOI BibTeX RDF
37	Jesper Bengtson, Joachim Parrow	A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle.	SOS@LICS/ICALP	2007	DBLP DOI BibTeX RDF
37	Astrid Kiehn	An Operational Semantics for Shared Messaging Communication.	SOS@LICS/ICALP	2007	DBLP DOI BibTeX RDF
37	Mohammad Reza Mousavi 0001, Michel A. Reniers	A Congruence Rule Format with Universal Quantification.	SOS@LICS/ICALP	2007	DBLP DOI BibTeX RDF
37	Rob J. van Glabbeek, Matthew Hennessy	Preface.	SOS@LICS/ICALP	2007	DBLP DOI BibTeX RDF
37	Pawel Sobocinski 0001	A Well-behaved LTS for the Pi-calculus: (Abstract).	SOS@LICS/ICALP	2007	DBLP DOI BibTeX RDF
37	Patrick Cousot, Radhia Cousot	Bi-inductive Structural Semantics: (Extended Abstract).	SOS@LICS/ICALP	2007	DBLP DOI BibTeX RDF
37	Iain Phillips 0001, Irek Ulidowski	Reversibility and Models for Concurrency.	SOS@LICS/ICALP	2007	DBLP DOI BibTeX RDF
37	David de Frutos-Escrig, Carlos Gregorio-Rodríguez	Simulations Up-to and Canonical Preorders: (Extended Abstract).	SOS@LICS/ICALP	2007	DBLP DOI BibTeX RDF
37	Peter D. Mosses, Irek Ulidowski (eds.)	Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005	SOS@ICALP	2006	DBLP BibTeX RDF
37	Christiano Braga, Alberto Verdejo	Modular Structural Operational Semantics with Strategies.	SOS@CONCUR	2006	DBLP DOI BibTeX RDF
37	Vincent Danos, Jean Krivine, Fabien Tarissan	Self-assembling Trees.	SOS@CONCUR	2006	DBLP DOI BibTeX RDF
37	Bartek Klin	Bialgebraic Methods in Structural Operational Semantics: Invited Talk.	SOS@CONCUR	2006	DBLP DOI BibTeX RDF
37	Rob J. van Glabbeek, Peter D. Mosses	Preface.	SOS@CONCUR	2006	DBLP DOI BibTeX RDF
37	Mohammad Reza Mousavi 0001, Michel A. Reniers	On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference.	SOS@CONCUR	2006	DBLP DOI BibTeX RDF
37	Adrian Pop, Peter Fritzson	An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications.	SOS@CONCUR	2006	DBLP DOI BibTeX RDF
37	Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson	Active Evaluation Contexts for Reaction Semantics.	SOS@CONCUR	2006	DBLP DOI BibTeX RDF
37	Simone Tini	Notes on Generative Probabilistic Bisimulation.	SOS@CONCUR	2006	DBLP DOI BibTeX RDF
37	Peter D. Mosses, Irek Ulidowski	Preface.	SOS@ICALP	2005	DBLP DOI BibTeX RDF
37	Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer	Compositional Operational Semantics of a UML-Kernel-Model Language.	SOS@ICALP	2005	DBLP DOI BibTeX RDF
37	Axelle Ziegler, Dale Miller 0001, Catuscia Palamidessi	A Congruence Format for Name-passing Calculi.	SOS@ICALP	2005	DBLP DOI BibTeX RDF
37	Oana Andrei, Dorel Lucanu, Gabriel Ciobanu	Operational Semantics and Rewriting Logic in Membrane Computing.	SOS@ICALP	2005	DBLP DOI BibTeX RDF
37	Samuel Hym, Matthew Hennessy	Adding Recursion to Dpi: (Extended Abstract).	SOS@ICALP	2005	DBLP DOI BibTeX RDF
37	Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind	Divide and Congruence Applied to eta-Bisimulation.	SOS@ICALP	2005	DBLP DOI BibTeX RDF
37	Ando Saabas, Tarmo Uustalu	A Compositional Natural Semantics and Hoare Logic for Low-Level Languages.	SOS@ICALP	2005	DBLP DOI BibTeX RDF