default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/sos:"
download as .bib file
@inproceedings{DBLP:journals/corr/abs-2309-07298,
author = {Thomas P. Jensen and
Vincent Rebiscoul and
Alan Schmitt},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {Deriving Abstract Interpreters from Skeletal Semantics},
booktitle = {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},
series = {{EPTCS}},
volume = {387},
pages = {97--113},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.8},
doi = {10.4204/EPTCS.387.8},
timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07298.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07302,
author = {Marjan Sirjani and
Ehsan Khamespanah},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {Timed Actors and Their Formal Verification},
booktitle = {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},
series = {{EPTCS}},
volume = {387},
pages = {1--7},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.1},
doi = {10.4204/EPTCS.387.1},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07302.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07303,
author = {Ilaria Castellani and
Ornela Dardha and
Luca Padovani and
Davide Sangiorgi},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {EXPRESSing Session Types},
booktitle = {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},
series = {{EPTCS}},
volume = {387},
pages = {8--25},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.2},
doi = {10.4204/EPTCS.387.2},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07303.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07304,
author = {Luca Aceto and
Pierluigi Crescenzi and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {The Way We Were: Structural Operational Semantics Research in Perspective},
booktitle = {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},
series = {{EPTCS}},
volume = {387},
pages = {26--40},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.3},
doi = {10.4204/EPTCS.387.3},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07304.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07306,
author = {Rob van Glabbeek and
Jan Friso Groote and
Erik P. de Vink},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {A Cancellation Law for Probabilistic Processes},
booktitle = {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},
series = {{EPTCS}},
volume = {387},
pages = {42--58},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.5},
doi = {10.4204/EPTCS.387.5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07306.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07307,
author = {Daniel Hirschkoff and
Enguerrand Prebet},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {Using Pi-Calculus Names as Locks},
booktitle = {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},
series = {{EPTCS}},
volume = {387},
pages = {76--96},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.7},
doi = {10.4204/EPTCS.387.7},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07307.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07308,
author = {Jos C. M. Baeten and
Bas Luttik},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {Parallel Pushdown Automata and Commutative Context-Free Grammars in
Bisimulation Semantics (Extended Abstract)},
booktitle = {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},
series = {{EPTCS}},
volume = {387},
pages = {114--131},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.9},
doi = {10.4204/EPTCS.387.9},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07309,
author = {Pablo F. Castro and
Pedro R. D'Argenio and
Ramiro Demasi and
Luciano Putruele},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {Quantifying Masking Fault-Tolerance via Fair Stochastic Games},
booktitle = {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},
series = {{EPTCS}},
volume = {387},
pages = {132--148},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.10},
doi = {10.4204/EPTCS.387.10},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07309.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07310,
author = {Shunya Oguchi and
Shoji Yuen},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {{CRIL:} {A} Concurrent Reversible Intermediate Language},
booktitle = {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},
series = {{EPTCS}},
volume = {387},
pages = {149--167},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.11},
doi = {10.4204/EPTCS.387.11},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07310.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07933,
author = {Rob van Glabbeek and
Peter H{\"{o}}fner and
Weiyou Wang},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {A Lean-Congruence Format for EP-Bisimilarity},
booktitle = {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},
series = {{EPTCS}},
volume = {387},
pages = {59--75},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.6},
doi = {10.4204/EPTCS.387.6},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07933.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2309-05788,
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {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},
series = {{EPTCS}},
volume = {387},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387},
doi = {10.4204/EPTCS.387},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-05788.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-02353,
author = {Silvia Crafa},
editor = {Valentina Castiglioni and
Claudio Antares Mezzina},
title = {From Legal Contracts to Legal Calculi: the code-driven normativity},
booktitle = {Proceedings Combined 29th International Workshop on Expressiveness
in Concurrency and 19th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2022, Warsaw, Poland, 12th September 2022},
series = {{EPTCS}},
volume = {368},
pages = {23--42},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.368.2},
doi = {10.4204/EPTCS.368.2},
timestamp = {Mon, 06 May 2024 08:08:22 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-02353.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-02354,
author = {Alexander R{\o}nning Bendixen and
Bjarke Bredow Bojesen and
Hans H{\"{u}}ttel and
Stian Lasse Lybech},
editor = {Valentina Castiglioni and
Claudio Antares Mezzina},
title = {A Generic Type System for Higher-Order {\(\Psi\)}-calculi},
booktitle = {Proceedings Combined 29th International Workshop on Expressiveness
in Concurrency and 19th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2022, Warsaw, Poland, 12th September 2022},
series = {{EPTCS}},
volume = {368},
pages = {43--59},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.368.3},
doi = {10.4204/EPTCS.368.3},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-02354.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-02356,
author = {Stian Lasse Lybech},
editor = {Valentina Castiglioni and
Claudio Antares Mezzina},
title = {Encodability and Separation for a Reflective Higher-Order Calculus},
booktitle = {Proceedings Combined 29th International Workshop on Expressiveness
in Concurrency and 19th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2022, Warsaw, Poland, 12th September 2022},
series = {{EPTCS}},
volume = {368},
pages = {95--112},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.368.6},
doi = {10.4204/EPTCS.368.6},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-02356.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-02359,
author = {Anna Philippou and
Kyriaki Psara},
editor = {Valentina Castiglioni and
Claudio Antares Mezzina},
title = {Token Multiplicity in Reversing Petri Nets Under the Individual Token
Interpretation},
booktitle = {Proceedings Combined 29th International Workshop on Expressiveness
in Concurrency and 19th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2022, Warsaw, Poland, 12th September 2022},
series = {{EPTCS}},
volume = {368},
pages = {131--150},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.368.8},
doi = {10.4204/EPTCS.368.8},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-02359.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-05231,
author = {Cl{\'{e}}ment Aubert and
Ross Horne and
Christian Johansen},
editor = {Valentina Castiglioni and
Claudio Antares Mezzina},
title = {Bisimulations Respecting Duration and Causality for the Non-interleaving
Applied {\(\pi\)}-Calculus},
booktitle = {Proceedings Combined 29th International Workshop on Expressiveness
in Concurrency and 19th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2022, Warsaw, Poland, 12th September 2022},
series = {{EPTCS}},
volume = {368},
pages = {3--22},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.368.1},
doi = {10.4204/EPTCS.368.1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-05231.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-05232,
author = {Gerard Ekembe Ngondi and
Vasileios Koutavas and
Andrew Butterfield},
editor = {Valentina Castiglioni and
Claudio Antares Mezzina},
title = {From {CCS} to {CSP:} the m-among-n Synchronisation Approach},
booktitle = {Proceedings Combined 29th International Workshop on Expressiveness
in Concurrency and 19th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2022, Warsaw, Poland, 12th September 2022},
series = {{EPTCS}},
volume = {368},
pages = {60--74},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.368.4},
doi = {10.4204/EPTCS.368.4},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-05232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-06819,
author = {Kirstin Peters and
Nobuko Yoshida},
editor = {Valentina Castiglioni and
Claudio Antares Mezzina},
title = {On the Expressiveness of Mixed Choice Sessions},
booktitle = {Proceedings Combined 29th International Workshop on Expressiveness
in Concurrency and 19th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2022, Warsaw, Poland, 12th September 2022},
series = {{EPTCS}},
volume = {368},
pages = {113--130},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.368.7},
doi = {10.4204/EPTCS.368.7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-06819.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-06820,
author = {Bas van den Heuvel and
Jorge A. P{\'{e}}rez},
editor = {Valentina Castiglioni and
Claudio Antares Mezzina},
title = {Asynchronous Functional Sessions: Cyclic and Concurrent},
booktitle = {Proceedings Combined 29th International Workshop on Expressiveness
in Concurrency and 19th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2022, Warsaw, Poland, 12th September 2022},
series = {{EPTCS}},
volume = {368},
pages = {75--94},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.368.5},
doi = {10.4204/EPTCS.368.5},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-06820.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2208-14777,
editor = {Valentina Castiglioni and
Claudio Antares Mezzina},
title = {Proceedings Combined 29th International Workshop on Expressiveness
in Concurrency and 19th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2022, Warsaw, Poland, 12th September 2022},
series = {{EPTCS}},
volume = {368},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.368},
doi = {10.4204/EPTCS.368},
timestamp = {Mon, 06 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-14777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2108-10489,
author = {Jan Friso Groote},
editor = {Ornela Dardha and
Valentina Castiglioni},
title = {Infinite Choice and Probability Distributions. An Open Problem: The
Real Hotel},
booktitle = {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},
series = {{EPTCS}},
volume = {339},
pages = {2--8},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.339.2},
doi = {10.4204/EPTCS.339.2},
timestamp = {Sun, 12 Nov 2023 02:17:08 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-10489.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2108-10490,
author = {Eric Alsmann and
Florian Bruse and
Martin Lange},
editor = {Ornela Dardha and
Valentina Castiglioni},
title = {Separating the Expressive Power of Propositional Dynamic and Modal
Fixpoint Logics},
booktitle = {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},
series = {{EPTCS}},
volume = {339},
pages = {10--26},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.339.4},
doi = {10.4204/EPTCS.339.4},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-10490.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2108-10492,
author = {Benjamin Bisping and
Luisa Montanari},
editor = {Ornela Dardha and
Valentina Castiglioni},
title = {A Game Characterization for Contrasimilarity},
booktitle = {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},
series = {{EPTCS}},
volume = {339},
pages = {27--42},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.339.5},
doi = {10.4204/EPTCS.339.5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-10492.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2108-10493,
author = {Matteo Cimini and
Benjamin Mourad},
editor = {Ornela Dardha and
Valentina Castiglioni},
title = {Language Transformations in the Classroom},
booktitle = {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},
series = {{EPTCS}},
volume = {339},
pages = {43--58},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.339.6},
doi = {10.4204/EPTCS.339.6},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-10493.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2108-10494,
author = {Xian Xu and
Wenbo Zhang},
editor = {Ornela Dardha and
Valentina Castiglioni},
title = {On Decidability of the Bisimilarity on Higher-order Processes with
Parameterization},
booktitle = {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},
series = {{EPTCS}},
volume = {339},
pages = {76--92},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.339.8},
doi = {10.4204/EPTCS.339.8},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-10494.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2108-11226,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
editor = {Ornela Dardha and
Valentina Castiglioni},
title = {Minimal Translations from Synchronous Communication to Synchronizing
Locks},
booktitle = {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},
series = {{EPTCS}},
volume = {339},
pages = {59--75},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.339.7},
doi = {10.4204/EPTCS.339.7},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-11226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2108-09624,
editor = {Ornela Dardha and
Valentina Castiglioni},
title = {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},
series = {{EPTCS}},
volume = {339},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.339},
doi = {10.4204/EPTCS.339},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-09624.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-13355,
author = {Bas Luttik},
editor = {Ornela Dardha and
Jurriaan Rot},
title = {Divergence-Preserving Branching Bisimilarity},
booktitle = {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},
series = {{EPTCS}},
volume = {322},
pages = {3--11},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.322.2},
doi = {10.4204/EPTCS.322.2},
timestamp = {Mon, 21 Sep 2020 12:42:04 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-13355.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-13356,
author = {Mark Bouwman and
Bas Luttik and
Wouter Schols and
Tim A. C. Willemse},
editor = {Ornela Dardha and
Jurriaan Rot},
title = {A process algebra with global variables},
booktitle = {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},
series = {{EPTCS}},
volume = {322},
pages = {33--50},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.322.5},
doi = {10.4204/EPTCS.322.5},
timestamp = {Mon, 21 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-13356.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-13357,
author = {Rob van Glabbeek},
editor = {Ornela Dardha and
Jurriaan Rot},
title = {Reactive Temporal Logic},
booktitle = {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},
series = {{EPTCS}},
volume = {322},
pages = {51--68},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.322.6},
doi = {10.4204/EPTCS.322.6},
timestamp = {Mon, 21 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-13357.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-13358,
author = {Ryan Kavanagh},
editor = {Ornela Dardha and
Jurriaan Rot},
title = {Substructural Observed Communication Semantics},
booktitle = {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},
series = {{EPTCS}},
volume = {322},
pages = {69--87},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.322.7},
doi = {10.4204/EPTCS.322.7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-13358.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-13359,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
editor = {Ornela Dardha and
Jurriaan Rot},
title = {Correctly Implementing Synchronous Message Passing in the Pi-Calculus
By Concurrent Haskell's MVars},
booktitle = {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},
series = {{EPTCS}},
volume = {322},
pages = {88--105},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.322.8},
doi = {10.4204/EPTCS.322.8},
timestamp = {Mon, 21 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-13359.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-00391,
author = {Davide Ancona and
Angelo Ferrando and
Viviana Mascardi},
editor = {Ornela Dardha and
Jurriaan Rot},
title = {Can determinism and compositionality coexist in RML?},
booktitle = {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},
series = {{EPTCS}},
volume = {322},
pages = {13--32},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.322.4},
doi = {10.4204/EPTCS.322.4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-00391.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2008-12414,
editor = {Ornela Dardha and
Jurriaan Rot},
title = {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},
series = {{EPTCS}},
volume = {322},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.322},
doi = {10.4204/EPTCS.322},
timestamp = {Mon, 21 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-12414.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1905-12963,
author = {Omar al Duhaiby and
Jan Friso Groote},
editor = {Jorge A. P{\'{e}}rez and
Jurriaan Rot},
title = {Distribution of Behaviour into Parallel Communicating Subsystems},
booktitle = {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},
series = {{EPTCS}},
volume = {300},
pages = {54--68},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.300.4},
doi = {10.4204/EPTCS.300.4},
timestamp = {Wed, 02 Dec 2020 13:20:37 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-12963.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-08633,
author = {Kirstin Peters},
editor = {Jorge A. P{\'{e}}rez and
Jurriaan Rot},
title = {Comparing Process Calculi Using Encodings},
booktitle = {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},
series = {{EPTCS}},
volume = {300},
pages = {19--38},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.300.2},
doi = {10.4204/EPTCS.300.2},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-08633.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-08634,
author = {Frank Valencia},
editor = {Jorge A. P{\'{e}}rez and
Jurriaan Rot},
title = {Semantic Structures for Spatially-Distributed Multi-Agent Systems},
booktitle = {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},
series = {{EPTCS}},
volume = {300},
pages = {39--53},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.300.3},
doi = {10.4204/EPTCS.300.3},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-08634.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-08635,
author = {Rob van Glabbeek},
editor = {Jorge A. P{\'{e}}rez and
Jurriaan Rot},
title = {On the Meaning of Transition System Specifications},
booktitle = {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},
series = {{EPTCS}},
volume = {300},
pages = {69--85},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.300.5},
doi = {10.4204/EPTCS.300.5},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-08635.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-08636,
author = {Daniele Gorla and
Ivano Salvo and
Adolfo Piperno},
editor = {Jorge A. P{\'{e}}rez and
Jurriaan Rot},
title = {Conflict vs Causality in Event Structures},
booktitle = {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},
series = {{EPTCS}},
volume = {300},
pages = {86--101},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.300.6},
doi = {10.4204/EPTCS.300.6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-08636.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-08637,
author = {Tobias Prehn and
Myron Rotter},
editor = {Jorge A. P{\'{e}}rez and
Jurriaan Rot},
title = {Immediate Observation in Mediated Population Protocols},
booktitle = {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},
series = {{EPTCS}},
volume = {300},
pages = {102--113},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.300.7},
doi = {10.4204/EPTCS.300.7},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-08637.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-11169,
author = {Tom Hirschowitz},
editor = {Jorge A. P{\'{e}}rez and
Jurriaan Rot},
title = {Cellular Monads from Positive {GSOS} Specifications},
booktitle = {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},
series = {{EPTCS}},
volume = {300},
pages = {1--18},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.300.1},
doi = {10.4204/EPTCS.300.1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-11169.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1908-08213,
editor = {Jorge A. P{\'{e}}rez and
Jurriaan Rot},
title = {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},
series = {{EPTCS}},
volume = {300},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.300},
doi = {10.4204/EPTCS.300},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-08213.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1808-08648,
author = {Jens Aagaard and
Hans H{\"{u}}ttel and
Mathias Jakobsen and
Mikkel Kettunen},
editor = {Jorge A. P{\'{e}}rez and
Simone Tini},
title = {Context-Free Session Types for Applied Pi-Calculus},
booktitle = {Proceedings Combined 25th International Workshop on Expressiveness
in Concurrency and 15th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2018, Beijing, China, September 3, 2018},
series = {{EPTCS}},
volume = {276},
pages = {3--18},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.276.3},
doi = {10.4204/EPTCS.276.3},
timestamp = {Wed, 02 Dec 2020 13:20:37 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08648.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1808-08649,
author = {Valentina Castiglioni},
editor = {Jorge A. P{\'{e}}rez and
Simone Tini},
title = {Trace and Testing Metrics on Nondeterministic Probabilistic Processes},
booktitle = {Proceedings Combined 25th International Workshop on Expressiveness
in Concurrency and 15th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2018, Beijing, China, September 3, 2018},
series = {{EPTCS}},
volume = {276},
pages = {19--36},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.276.4},
doi = {10.4204/EPTCS.276.4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08649.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1808-08650,
author = {Jane Hillston and
Carla Piazza and
Sabina Rossi},
editor = {Jorge A. P{\'{e}}rez and
Simone Tini},
title = {Persistent Stochastic Non-Interference},
booktitle = {Proceedings Combined 25th International Workshop on Expressiveness
in Concurrency and 15th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2018, Beijing, China, September 3, 2018},
series = {{EPTCS}},
volume = {276},
pages = {53--68},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.276.6},
doi = {10.4204/EPTCS.276.6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08650.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1808-08651,
author = {James Hoey and
Irek Ulidowski and
Shoji Yuen},
editor = {Jorge A. P{\'{e}}rez and
Simone Tini},
title = {Reversing Parallel Programs with Blocks and Procedures},
booktitle = {Proceedings Combined 25th International Workshop on Expressiveness
in Concurrency and 15th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2018, Beijing, China, September 3, 2018},
series = {{EPTCS}},
volume = {276},
pages = {69--86},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.276.7},
doi = {10.4204/EPTCS.276.7},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08651.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1808-08652,
author = {Chun Tian and
Davide Sangiorgi},
editor = {Jorge A. P{\'{e}}rez and
Simone Tini},
title = {Unique Solutions of Contractions, CCS, and their {HOL} Formalisation},
booktitle = {Proceedings Combined 25th International Workshop on Expressiveness
in Concurrency and 15th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2018, Beijing, China, September 3, 2018},
series = {{EPTCS}},
volume = {276},
pages = {122--139},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.276.10},
doi = {10.4204/EPTCS.276.10},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08652.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1808-08655,
author = {Doriana Medic and
Claudio Antares Mezzina and
Iain Phillips and
Nobuko Yoshida},
editor = {Jorge A. P{\'{e}}rez and
Simone Tini},
title = {A Parametric Framework for Reversible Pi-Calculi},
booktitle = {Proceedings Combined 25th International Workshop on Expressiveness
in Concurrency and 15th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2018, Beijing, China, September 3, 2018},
series = {{EPTCS}},
volume = {276},
pages = {87--103},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.276.8},
doi = {10.4204/EPTCS.276.8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1808-09361,
author = {Kirstin Peters and
Uwe Nestmann},
editor = {Jorge A. P{\'{e}}rez and
Simone Tini},
title = {On the Distributability of Mobile Ambients},
booktitle = {Proceedings Combined 25th International Workshop on Expressiveness
in Concurrency and 15th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2018, Beijing, China, September 3, 2018},
series = {{EPTCS}},
volume = {276},
pages = {104--121},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.276.9},
doi = {10.4204/EPTCS.276.9},
timestamp = {Tue, 11 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-09361.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1808-08071,
editor = {Jorge A. P{\'{e}}rez and
Simone Tini},
title = {Proceedings Combined 25th International Workshop on Expressiveness
in Concurrency and 15th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2018, Beijing, China, September 3, 2018},
series = {{EPTCS}},
volume = {276},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.276},
doi = {10.4204/EPTCS.276},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08071.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-00826,
author = {Victor Dyseryn and
Rob J. van Glabbeek and
Peter H{\"{o}}fner},
editor = {Kirstin Peters and
Simone Tini},
title = {Analysing Mutual Exclusion using Process Algebra with Signals},
booktitle = {Proceedings Combined 24th International Workshop on Expressiveness
in Concurrency and 14th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017},
series = {{EPTCS}},
volume = {255},
pages = {18--34},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.255.2},
doi = {10.4204/EPTCS.255.2},
timestamp = {Tue, 08 Oct 2019 16:56:57 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-00826.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-00827,
author = {James Ferlez and
Rance Cleaveland and
Steven I. Marcus},
editor = {Kirstin Peters and
Simone Tini},
title = {Bisimulation and Hennessy-Milner Logic for Generalized Synchronization
Trees},
booktitle = {Proceedings Combined 24th International Workshop on Expressiveness
in Concurrency and 14th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017},
series = {{EPTCS}},
volume = {255},
pages = {35--50},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.255.3},
doi = {10.4204/EPTCS.255.3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-00827.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-00828,
author = {James Hoey and
Irek Ulidowski and
Shoji Yuen},
editor = {Kirstin Peters and
Simone Tini},
title = {Reversing Imperative Parallel Programs},
booktitle = {Proceedings Combined 24th International Workshop on Expressiveness
in Concurrency and 14th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017},
series = {{EPTCS}},
volume = {255},
pages = {51--66},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.255.4},
doi = {10.4204/EPTCS.255.4},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-00828.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-00829,
author = {Hans H{\"{u}}ttel},
editor = {Kirstin Peters and
Simone Tini},
title = {Using Session Types for Reasoning About Boundedness in the Pi-Calculus},
booktitle = {Proceedings Combined 24th International Workshop on Expressiveness
in Concurrency and 14th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017},
series = {{EPTCS}},
volume = {255},
pages = {67--82},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.255.5},
doi = {10.4204/EPTCS.255.5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-00829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-00830,
author = {Jurriaan Rot},
editor = {Kirstin Peters and
Simone Tini},
title = {Distributive Laws for Monotone Specifications},
booktitle = {Proceedings Combined 24th International Workshop on Expressiveness
in Concurrency and 14th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017},
series = {{EPTCS}},
volume = {255},
pages = {83--97},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.255.6},
doi = {10.4204/EPTCS.255.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-00830.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02440,
author = {Jos C. M. Baeten and
Bas Luttik and
Fei Yang},
editor = {Kirstin Peters and
Simone Tini},
title = {Sequential Composition in the Presence of Intermediate Termination
(Extended Abstract)},
booktitle = {Proceedings Combined 24th International Workshop on Expressiveness
in Concurrency and 14th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017},
series = {{EPTCS}},
volume = {255},
pages = {1--17},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.255.1},
doi = {10.4204/EPTCS.255.1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02440.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1709-00049,
editor = {Kirstin Peters and
Simone Tini},
title = {Proceedings Combined 24th International Workshop on Expressiveness
in Concurrency and 14th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017},
series = {{EPTCS}},
volume = {255},
year = {2017},
url = {http://arxiv.org/abs/1709.00049},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-00049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/000116c,
author = {Xian Xu},
editor = {Daniel Gebler and
Kirstin Peters},
title = {Higher-order Processes with Parameterization over Names and Processes},
booktitle = {Proceedings Combined 23rd International Workshop on Expressiveness
in Concurrency and 13th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2016, Qu{\'{e}}bec City, Canada, 22nd August 2016},
series = {{EPTCS}},
volume = {222},
pages = {15--29},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.222.2},
doi = {10.4204/EPTCS.222.2},
timestamp = {Fri, 02 Nov 2018 09:30:18 +0100},
biburl = {https://dblp.org/rec/journals/corr/000116c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BaranovB16,
author = {Eduard Baranov and
Simon Bliudze},
editor = {Daniel Gebler and
Kirstin Peters},
title = {A Note on the Expressiveness of {BIP}},
booktitle = {Proceedings Combined 23rd International Workshop on Expressiveness
in Concurrency and 13th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2016, Qu{\'{e}}bec City, Canada, 22nd August 2016},
series = {{EPTCS}},
volume = {222},
pages = {1--14},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.222.1},
doi = {10.4204/EPTCS.222.1},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BaranovB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Dezani-Ciancaglini16a,
author = {Mariangiola Dezani{-}Ciancaglini and
Paola Giannini},
editor = {Daniel Gebler and
Kirstin Peters},
title = {Reversible Multiparty Sessions with Checkpoints},
booktitle = {Proceedings Combined 23rd International Workshop on Expressiveness
in Concurrency and 13th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2016, Qu{\'{e}}bec City, Canada, 22nd August 2016},
series = {{EPTCS}},
volume = {222},
pages = {60--74},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.222.5},
doi = {10.4204/EPTCS.222.5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Dezani-Ciancaglini16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LeeL16,
author = {Matias David Lee and
Bas Luttik},
editor = {Daniel Gebler and
Kirstin Peters},
title = {Unique Parallel Decomposition for the Pi-calculus},
booktitle = {Proceedings Combined 23rd International Workshop on Expressiveness
in Concurrency and 13th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2016, Qu{\'{e}}bec City, Canada, 22nd August 2016},
series = {{EPTCS}},
volume = {222},
pages = {45--59},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.222.4},
doi = {10.4204/EPTCS.222.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LeeL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PrasadZ16,
author = {Sanjiva Prasad and
Lenore D. Zuck},
editor = {Daniel Gebler and
Kirstin Peters},
title = {Self-Similarity Breeds Resilience},
booktitle = {Proceedings Combined 23rd International Workshop on Expressiveness
in Concurrency and 13th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2016, Qu{\'{e}}bec City, Canada, 22nd August 2016},
series = {{EPTCS}},
volume = {222},
pages = {30--44},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.222.3},
doi = {10.4204/EPTCS.222.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PrasadZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/GeblerP16,
editor = {Daniel Gebler and
Kirstin Peters},
title = {Proceedings Combined 23rd International Workshop on Expressiveness
in Concurrency and 13th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2016, Qu{\'{e}}bec City, Canada, 22nd August 2016},
series = {{EPTCS}},
volume = {222},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.222},
doi = {10.4204/EPTCS.222},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GeblerP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DArgenioLG15,
author = {Pedro R. D'Argenio and
Matias David Lee and
Daniel Gebler},
editor = {Silvia Crafa and
Daniel Gebler},
title = {{SOS} rule formats for convex and abstract probabilistic bisimulations},
booktitle = {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},
series = {{EPTCS}},
volume = {190},
pages = {31--45},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.190.3},
doi = {10.4204/EPTCS.190.3},
timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
biburl = {https://dblp.org/rec/journals/corr/DArgenioLG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DardhaP15,
author = {Ornela Dardha and
Jorge A. P{\'{e}}rez},
editor = {Silvia Crafa and
Daniel Gebler},
title = {Comparing Deadlock-Free Session Typed Processes},
booktitle = {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},
series = {{EPTCS}},
volume = {190},
pages = {1--15},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.190.1},
doi = {10.4204/EPTCS.190.1},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DardhaP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DedeicPP15,
author = {Jovana Dedeic and
Jovanka Pantovic and
Jorge A. P{\'{e}}rez},
editor = {Silvia Crafa and
Daniel Gebler},
title = {On Compensation Primitives as Adaptable Processes},
booktitle = {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},
series = {{EPTCS}},
volume = {190},
pages = {16--30},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.190.2},
doi = {10.4204/EPTCS.190.2},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DedeicPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HatzelWPN15a,
author = {Meike Hatzel and
Christoph Wagner and
Kirstin Peters and
Uwe Nestmann},
editor = {Silvia Crafa and
Daniel Gebler},
title = {Encoding {CSP} into {CCS}},
booktitle = {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},
series = {{EPTCS}},
volume = {190},
pages = {61--75},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.190.5},
doi = {10.4204/EPTCS.190.5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HatzelWPN15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PetersG15,
author = {Kirstin Peters and
Rob J. van Glabbeek},
editor = {Silvia Crafa and
Daniel Gebler},
title = {Analysing and Comparing Encodability Criteria},
booktitle = {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},
series = {{EPTCS}},
volume = {190},
pages = {46--60},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.190.4},
doi = {10.4204/EPTCS.190.4},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/PetersG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Rowe15,
author = {Reuben N. S. Rowe},
editor = {Silvia Crafa and
Daniel Gebler},
title = {Encoding the Factorisation Calculus},
booktitle = {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},
series = {{EPTCS}},
volume = {190},
pages = {76--90},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.190.6},
doi = {10.4204/EPTCS.190.6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Rowe15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CrafaG15,
editor = {Silvia Crafa and
Daniel Gebler},
title = {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},
series = {{EPTCS}},
volume = {190},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.190},
doi = {10.4204/EPTCS.190},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CrafaG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Franke-ArnoldGP14,
author = {Sonja Franke{-}Arnold and
Simon J. Gay and
Ittoop Vergheese Puthoor},
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {Verification of Linear Optical Quantum Computing using Quantum Process
Calculus},
booktitle = {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},
series = {{EPTCS}},
volume = {160},
pages = {111--129},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160.10},
doi = {10.4204/EPTCS.160.10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Franke-ArnoldGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GayGR14,
author = {Simon J. Gay and
Nils Gesbert and
Ant{\'{o}}nio Ravara},
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {Session Types as Generic Process Types},
booktitle = {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},
series = {{EPTCS}},
volume = {160},
pages = {94--110},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160.9},
doi = {10.4204/EPTCS.160.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GayGR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GeblerT14,
author = {Daniel Gebler and
Simone Tini},
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {Fixed-point Characterization of Compositionality Properties of Probabilistic
Processes Combinators},
booktitle = {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},
series = {{EPTCS}},
volume = {160},
pages = {63--78},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160.7},
doi = {10.4204/EPTCS.160.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GeblerT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Given-Wilson14b,
author = {Thomas Given{-}Wilson},
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {On the Expressiveness of Intensional Communication},
booktitle = {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},
series = {{EPTCS}},
volume = {160},
pages = {30--46},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160.4},
doi = {10.4204/EPTCS.160.4},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Given-Wilson14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KlinN14,
author = {Bartek Klin and
Beata Nachyla},
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {Distributive Laws and Decidable Properties of {SOS} Specifications},
booktitle = {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},
series = {{EPTCS}},
volume = {160},
pages = {79--93},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160.8},
doi = {10.4204/EPTCS.160.8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KlinN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PetersYN14a,
author = {Kirstin Peters and
Tsvetelina Yonova{-}Karbe and
Uwe Nestmann},
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {Matching in the Pi-Calculus},
booktitle = {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},
series = {{EPTCS}},
volume = {160},
pages = {16--29},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160.3},
doi = {10.4204/EPTCS.160.3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/PetersYN14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PohjolaP14,
author = {Johannes {\AA}man Pohjola and
Joachim Parrow},
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {Priorities Without Priorities: Representing Preemption in Psi-Calculi},
booktitle = {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},
series = {{EPTCS}},
volume = {160},
pages = {2--15},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160.2},
doi = {10.4204/EPTCS.160.2},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/PohjolaP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/WagnerN14,
author = {Christoph Wagner and
Uwe Nestmann},
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {States in Process Calculi},
booktitle = {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},
series = {{EPTCS}},
volume = {160},
pages = {48--62},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160.6},
doi = {10.4204/EPTCS.160.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WagnerN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BorgstromC14,
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {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},
series = {{EPTCS}},
volume = {160},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160},
doi = {10.4204/EPTCS.160},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BorgstromC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AcetoGI13,
author = {Luca Aceto and
Eugen{-}Ioan Goriac and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Johannes Borgstr{\"{o}}m and
Bas Luttik},
title = {Meta {SOS} - {A} Maude Based {SOS} Meta-Theory Framework},
booktitle = {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},
series = {{EPTCS}},
volume = {120},
pages = {93--107},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.120.8},
doi = {10.4204/EPTCS.120.8},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/AcetoGI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ArbachPN13,
author = {Youssef Arbach and
Kirstin Peters and
Uwe Nestmann},
editor = {Johannes Borgstr{\"{o}}m and
Bas Luttik},
title = {Adding Priority to Event Structures},
booktitle = {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},
series = {{EPTCS}},
volume = {120},
pages = {17--31},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.120.3},
doi = {10.4204/EPTCS.120.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArbachPN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CervesatoS13,
author = {Iliano Cervesato and
Jorge Luis Sacchini},
editor = {Johannes Borgstr{\"{o}}m and
Bas Luttik},
title = {Towards Meta-Reasoning in the Concurrent Logical Framework {CLF}},
booktitle = {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},
series = {{EPTCS}},
volume = {120},
pages = {2--16},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.120.2},
doi = {10.4204/EPTCS.120.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CervesatoS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Cuijpers13,
author = {Pieter J. L. Cuijpers},
editor = {Johannes Borgstr{\"{o}}m and
Bas Luttik},
title = {The categorical limit of a sequence of dynamical systems},
booktitle = {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},
series = {{EPTCS}},
volume = {120},
pages = {78--92},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.120.7},
doi = {10.4204/EPTCS.120.7},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Cuijpers13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GeblerGM13,
author = {Daniel Gebler and
Eugen{-}Ioan Goriac and
Mohammad Reza Mousavi},
editor = {Johannes Borgstr{\"{o}}m and
Bas Luttik},
title = {Algebraic Meta-Theory of Processes with Data},
booktitle = {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},
series = {{EPTCS}},
volume = {120},
pages = {63--77},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.120.6},
doi = {10.4204/EPTCS.120.6},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GeblerGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GeblerT13,
author = {Daniel Gebler and
Simone Tini},
editor = {Johannes Borgstr{\"{o}}m and
Bas Luttik},
title = {Compositionality of Approximate Bisimulation for Probabilistic Systems},
booktitle = {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},
series = {{EPTCS}},
volume = {120},
pages = {32--46},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.120.4},
doi = {10.4204/EPTCS.120.4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GeblerT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GuhaKNA13,
author = {Shibashis Guha and
Shankara Narayanan Krishna and
Chinmay Narayan and
S. Arun{-}Kumar},
editor = {Johannes Borgstr{\"{o}}m and
Bas Luttik},
title = {A Unifying Approach to Decide Relations for Timed Automata and their
Game Characterization},
booktitle = {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},
series = {{EPTCS}},
volume = {120},
pages = {47--62},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.120.5},
doi = {10.4204/EPTCS.120.5},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GuhaKNA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BorgstromL13,
editor = {Johannes Borgstr{\"{o}}m and
Bas Luttik},
title = {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},
series = {{EPTCS}},
volume = {120},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.120},
doi = {10.4204/EPTCS.120},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BorgstromL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-2746,
author = {Marcello M. Bonsangue and
Stefan Milius and
Jurriaan Rot},
editor = {Bas Luttik and
Michel A. Reniers},
title = {On the specification of operations on the rational behaviour of systems},
booktitle = {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},
series = {{EPTCS}},
volume = {89},
pages = {3--18},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.89.2},
doi = {10.4204/EPTCS.89.2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2746.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-2747,
author = {Wojciech Czerwinski and
Slawomir Lasota},
editor = {Bas Luttik and
Michel A. Reniers},
title = {Partially-commutative context-free languages},
booktitle = {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},
series = {{EPTCS}},
volume = {89},
pages = {35--48},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.89.4},
doi = {10.4204/EPTCS.89.4},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2747.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-2748,
author = {Maciej Gazda and
Tim A. C. Willemse},
editor = {Bas Luttik and
Michel A. Reniers},
title = {Expressiveness and Completeness in Abstraction},
booktitle = {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},
series = {{EPTCS}},
volume = {89},
pages = {49--64},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.89.5},
doi = {10.4204/EPTCS.89.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2748.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-2749,
author = {Marco Giunti and
Catuscia Palamidessi and
Frank D. Valencia},
editor = {Bas Luttik and
Michel A. Reniers},
title = {Hide and New in the Pi-Calculus},
booktitle = {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},
series = {{EPTCS}},
volume = {89},
pages = {65--79},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.89.6},
doi = {10.4204/EPTCS.89.6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2749.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-2750,
author = {Rob J. van Glabbeek},
editor = {Bas Luttik and
Michel A. Reniers},
title = {Musings on Encodings and Expressiveness},
booktitle = {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},
series = {{EPTCS}},
volume = {89},
pages = {81--98},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.89.7},
doi = {10.4204/EPTCS.89.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2750.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-2751,
author = {Piotr Hofman and
Patrick Totzke},
editor = {Bas Luttik and
Michel A. Reniers},
title = {Approximating Weak Bisimilarity of Basic Parallel Processes},
booktitle = {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},
series = {{EPTCS}},
volume = {89},
pages = {99--113},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.89.8},
doi = {10.4204/EPTCS.89.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2751.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-2752,
author = {Matias David Lee and
Daniel Gebler and
Pedro R. D'Argenio},
editor = {Bas Luttik and
Michel A. Reniers},
title = {Tree rules in probabilistic transition system specifications with
negative and quantitative premises},
booktitle = {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},
series = {{EPTCS}},
volume = {89},
pages = {115--130},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.89.9},
doi = {10.4204/EPTCS.89.9},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2752.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-2753,
author = {Stephan Mennicke},
editor = {Bas Luttik and
Michel A. Reniers},
title = {An Operational Petri Net Semantics for the Join-Calculus},
booktitle = {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},
series = {{EPTCS}},
volume = {89},
pages = {131--147},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.89.10},
doi = {10.4204/EPTCS.89.10},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2753.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-2754,
author = {Maxim Strygin and
Hayo Thielecke},
editor = {Bas Luttik and
Michel A. Reniers},
title = {Operational semantics for signal handling},
booktitle = {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},
series = {{EPTCS}},
volume = {89},
pages = {149--163},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.89.11},
doi = {10.4204/EPTCS.89.11},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2754.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-5915,
author = {G{\'{e}}rard Boudol and
Gustavo Petri and
Bernard P. Serpette},
editor = {Bas Luttik and
Michel A. Reniers},
title = {Relaxed Operational Semantics of Concurrent Programming Languages},
booktitle = {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},
series = {{EPTCS}},
volume = {89},
pages = {19--33},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.89.3},
doi = {10.4204/EPTCS.89.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-5915.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1208-2440,
editor = {Bas Luttik and
Michel A. Reniers},
title = {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},
series = {{EPTCS}},
volume = {89},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.89},
doi = {10.4204/EPTCS.89},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2440.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-3124,
author = {Luca Aceto and
Georgiana Caltais and
Eugen{-}Ioan Goriac and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Michel A. Reniers and
Pawel Sobocinski},
title = {Axiomatizing {GSOS} with Predicates},
booktitle = {Proceedings Eight Workshop on Structural Operational Semantics 2011,
{SOS} 2011, Aachen, Germany, 5th September 2011},
series = {{EPTCS}},
volume = {62},
pages = {1--15},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.62.1},
doi = {10.4204/EPTCS.62.1},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3124.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-3125,
author = {Ken Madlener and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
editor = {Michel A. Reniers and
Pawel Sobocinski},
title = {Formal Component-Based Semantics},
booktitle = {Proceedings Eight Workshop on Structural Operational Semantics 2011,
{SOS} 2011, Aachen, Germany, 5th September 2011},
series = {{EPTCS}},
volume = {62},
pages = {17--29},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.62.2},
doi = {10.4204/EPTCS.62.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3125.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-3126,
author = {Asiri Rathnayake and
Hayo Thielecke},
editor = {Michel A. Reniers and
Pawel Sobocinski},
title = {Regular Expression Matching and Operational Semantics},
booktitle = {Proceedings Eight Workshop on Structural Operational Semantics 2011,
{SOS} 2011, Aachen, Germany, 5th September 2011},
series = {{EPTCS}},
volume = {62},
pages = {31--45},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.62.3},
doi = {10.4204/EPTCS.62.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3126.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-3127,
author = {David Romero{-}Hern{\'{a}}ndez and
David de Frutos{-}Escrig},
editor = {Michel A. Reniers and
Pawel Sobocinski},
title = {On the Unification of Process Semantics: Logical Semantics},
booktitle = {Proceedings Eight Workshop on Structural Operational Semantics 2011,
{SOS} 2011, Aachen, Germany, 5th September 2011},
series = {{EPTCS}},
volume = {62},
pages = {47--61},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.62.4},
doi = {10.4204/EPTCS.62.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3127.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1108-2796,
editor = {Michel A. Reniers and
Pawel Sobocinski},
title = {Proceedings Eight Workshop on Structural Operational Semantics 2011,
{SOS} 2011, Aachen, Germany, 5th September 2011},
series = {{EPTCS}},
volume = {62},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.62},
doi = {10.4204/EPTCS.62},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-2796.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1008-2108,
author = {Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Miguel Palomino},
editor = {Luca Aceto and
Pawel Sobocinski},
title = {Equational Characterization of Covariant-Contravariant Simulation
and Conformance Simulation Semantics},
booktitle = {Proceedings Seventh Workshop on Structural Operational Semantics,
{SOS} 2010, Paris, France, 30 August 2010},
series = {{EPTCS}},
volume = {32},
pages = {1--14},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.32.1},
doi = {10.4204/EPTCS.32.1},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-2108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1008-2109,
author = {Maciej Gazda and
Wan J. Fokkink},
editor = {Luca Aceto and
Pawel Sobocinski},
title = {Congruence from the Operator's Point of View: Compositionality Requirements
on Process Semantics},
booktitle = {Proceedings Seventh Workshop on Structural Operational Semantics,
{SOS} 2010, Paris, France, 30 August 2010},
series = {{EPTCS}},
volume = {32},
pages = {15--25},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.32.2},
doi = {10.4204/EPTCS.32.2},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-2109.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1008-2110,
author = {Harsh Beohar and
D. E. Nadales Agut and
Dirk A. van Beek and
Pieter J. L. Cuijpers},
editor = {Luca Aceto and
Pawel Sobocinski},
title = {Hierarchical states in the Compositional Interchange Format},
booktitle = {Proceedings Seventh Workshop on Structural Operational Semantics,
{SOS} 2010, Paris, France, 30 August 2010},
series = {{EPTCS}},
volume = {32},
pages = {42--56},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.32.4},
doi = {10.4204/EPTCS.32.4},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-2110.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1008-2111,
author = {Tobias Heindel},
editor = {Luca Aceto and
Pawel Sobocinski},
title = {Structural Decomposition of Reactions of Graph-Like Objects},
booktitle = {Proceedings Seventh Workshop on Structural Operational Semantics,
{SOS} 2010, Paris, France, 30 August 2010},
series = {{EPTCS}},
volume = {32},
pages = {26--41},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.32.3},
doi = {10.4204/EPTCS.32.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-2111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1008-2112,
author = {Keiko Nakata and
Tarmo Uustalu},
editor = {Luca Aceto and
Pawel Sobocinski},
title = {Resumptions, Weak Bisimilarity and Big-Step Semantics for While with
Interactive {I/O:} An Exercise in Mixed Induction-Coinduction},
booktitle = {Proceedings Seventh Workshop on Structural Operational Semantics,
{SOS} 2010, Paris, France, 30 August 2010},
series = {{EPTCS}},
volume = {32},
pages = {57--75},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.32.5},
doi = {10.4204/EPTCS.32.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-2112.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1008-1906,
editor = {Luca Aceto and
Pawel Sobocinski},
title = {Proceedings Seventh Workshop on Structural Operational Semantics,
{SOS} 2010, Paris, France, 30 August 2010},
series = {{EPTCS}},
volume = {32},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.32},
doi = {10.4204/EPTCS.32},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-1906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-2864,
author = {Luca Aceto and
Matteo Cimini and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Bartek Klin and
Pawel Sobocinski},
title = {A Bisimulation-based Method for Proving the Validity of Equations
in {GSOS} Languages},
booktitle = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS}
2009, Bologna, Italy, August 31, 2009},
series = {{EPTCS}},
volume = {18},
pages = {1--16},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.18.1},
doi = {10.4204/EPTCS.18.1},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-2867,
author = {Magnus Johansson and
Bj{\"{o}}rn Victor and
Joachim Parrow},
editor = {Bartek Klin and
Pawel Sobocinski},
title = {A Fully Abstract Symbolic Semantics for Psi-Calculi},
booktitle = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS}
2009, Bologna, Italy, August 31, 2009},
series = {{EPTCS}},
volume = {18},
pages = {17--31},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.18.2},
doi = {10.4204/EPTCS.18.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2867.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-2868,
author = {Mohammad Reza Mousavi},
editor = {Bartek Klin and
Pawel Sobocinski},
title = {Causality in the Semantics of Esterel: Revisited},
booktitle = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS}
2009, Bologna, Italy, August 31, 2009},
series = {{EPTCS}},
volume = {18},
pages = {32--45},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.18.3},
doi = {10.4204/EPTCS.18.3},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-2869,
author = {Filippo Bonchi and
Fabio Gadducci and
Giacoma Valentina Monreale},
editor = {Bartek Klin and
Pawel Sobocinski},
title = {On Barbs and Labels in Reactive Systems},
booktitle = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS}
2009, Bologna, Italy, August 31, 2009},
series = {{EPTCS}},
volume = {18},
pages = {46--61},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.18.4},
doi = {10.4204/EPTCS.18.4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2869.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-2871,
author = {Iain C. C. Phillips and
Irek Ulidowski},
editor = {Bartek Klin and
Pawel Sobocinski},
title = {Reverse Bisimulations on Stable Configuration Structures},
booktitle = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS}
2009, Bologna, Italy, August 31, 2009},
series = {{EPTCS}},
volume = {18},
pages = {62--76},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.18.5},
doi = {10.4204/EPTCS.18.5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2871.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-2872,
author = {Gilles Dowek and
C{\'{e}}sar A. Mu{\~{n}}oz and
Camilo Rocha},
editor = {Bartek Klin and
Pawel Sobocinski},
title = {Rewriting Logic Semantics of a Plan Execution Language},
booktitle = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS}
2009, Bologna, Italy, August 31, 2009},
series = {{EPTCS}},
volume = {18},
pages = {77--91},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.18.6},
doi = {10.4204/EPTCS.18.6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2872.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-2873,
author = {Michel A. Reniers and
Tim A. C. Willemse},
editor = {Bartek Klin and
Pawel Sobocinski},
title = {Analysis of Boolean Equation Systems through Structure Graphs},
booktitle = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS}
2009, Bologna, Italy, August 31, 2009},
series = {{EPTCS}},
volume = {18},
pages = {92--107},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.18.7},
doi = {10.4204/EPTCS.18.7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2873.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sos/2008,
editor = {Matthew Hennessy and
Bartek Klin},
title = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {4},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/229/issue/4},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sos/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1002-2978,
editor = {Bartek Klin and
Pawel Sobocinski},
title = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS}
2009, Bologna, Italy, August 31, 2009},
series = {{EPTCS}},
volume = {18},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.18},
doi = {10.4204/EPTCS.18},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2978.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BestS09,
author = {Eike Best and
Kerstin Strecker},
editor = {Matthew Hennessy and
Bartek Klin},
title = {Relational Semantics Revisited},
booktitle = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {4},
pages = {27--47},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.072},
doi = {10.1016/J.ENTCS.2009.07.072},
timestamp = {Fri, 24 Feb 2023 11:47:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BestS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Danos09,
author = {Vincent Danos},
editor = {Matthew Hennessy and
Bartek Klin},
title = {Agile Modelling of Cellular Signalling (Invited Paper)},
booktitle = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {4},
pages = {3--10},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.070},
doi = {10.1016/J.ENTCS.2009.07.070},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Danos09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HennessyK09,
author = {Matthew Hennessy and
Bartek Klin},
editor = {Matthew Hennessy and
Bartek Klin},
title = {Preface},
booktitle = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {4},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.069},
doi = {10.1016/J.ENTCS.2009.07.069},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HennessyK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MossesN09,
author = {Peter D. Mosses and
Mark J. New},
editor = {Matthew Hennessy and
Bartek Klin},
title = {Implicit Propagation in Structural Operational Semantics},
booktitle = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {4},
pages = {49--66},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.073},
doi = {10.1016/J.ENTCS.2009.07.073},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MossesN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NicolaLLM09,
author = {Rocco De Nicola and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Matthew Hennessy and
Bartek Klin},
title = {MarCaSPiS: a Markovian Extension of a Calculus for Services},
booktitle = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {4},
pages = {11--26},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.071},
doi = {10.1016/J.ENTCS.2009.07.071},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/NicolaLLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OspinaC09,
author = {Gustavo A. Ospina and
Baudouin Le Charlier},
editor = {Matthew Hennessy and
Bartek Klin},
title = {Formalisation of {C} Language Interfaces},
booktitle = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {4},
pages = {67--84},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.074},
doi = {10.1016/J.ENTCS.2009.07.074},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OspinaC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Weerdenburg09,
author = {Muck van Weerdenburg},
editor = {Matthew Hennessy and
Bartek Klin},
title = {Automating Soundness Proofs},
booktitle = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {4},
pages = {107--118},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.076},
doi = {10.1016/J.ENTCS.2009.07.076},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Weerdenburg09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WeerdenburgR09,
author = {Muck van Weerdenburg and
Michel A. Reniers},
editor = {Matthew Hennessy and
Bartek Klin},
title = {Structural Operational Semantics with First-Order Logic},
booktitle = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {4},
pages = {85--106},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.075},
doi = {10.1016/J.ENTCS.2009.07.075},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WeerdenburgR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BengtsonP07,
author = {Jesper Bengtson and
Joachim Parrow},
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle},
booktitle = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
pages = {61--75},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.017},
doi = {10.1016/J.ENTCS.2007.08.017},
timestamp = {Thu, 09 Feb 2023 10:45:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BengtsonP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CousotC07,
author = {Patrick Cousot and
Radhia Cousot},
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {Bi-inductive Structural Semantics: (Extended Abstract)},
booktitle = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
pages = {29--44},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.015},
doi = {10.1016/J.ENTCS.2007.08.015},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CousotC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FecherS07,
author = {Harald Fecher and
Heiko Schmidt},
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {Process Algebra Having Inherent Choice: Revised Semantics for Concurrent
Systems},
booktitle = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
pages = {45--60},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.016},
doi = {10.1016/J.ENTCS.2007.08.016},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FecherS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Frutos-EscrigG07,
author = {David de Frutos{-}Escrig and
Carlos Gregorio{-}Rodr{\'{\i}}guez},
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {Simulations Up-to and Canonical Preorders: (Extended Abstract)},
booktitle = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
pages = {13--28},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.014},
doi = {10.1016/J.ENTCS.2007.08.014},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Frutos-EscrigG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GlabbeekH07,
author = {Rob J. van Glabbeek and
Matthew Hennessy},
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {Preface},
booktitle = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
pages = {1--3},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.001},
doi = {10.1016/J.ENTCS.2007.10.001},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GlabbeekH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kiehn07,
author = {Astrid Kiehn},
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {An Operational Semantics for Shared Messaging Communication},
booktitle = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
pages = {77--92},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.021},
doi = {10.1016/J.ENTCS.2007.08.021},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kiehn07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MousaviR07a,
author = {Mohammad Reza Mousavi and
Michel A. Reniers},
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {A Congruence Rule Format with Universal Quantification},
booktitle = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
pages = {109--124},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.019},
doi = {10.1016/J.ENTCS.2007.08.019},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MousaviR07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PhillipsU07,
author = {Iain Phillips and
Irek Ulidowski},
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {Reversibility and Models for Concurrency},
booktitle = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
pages = {93--108},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.018},
doi = {10.1016/J.ENTCS.2007.08.018},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PhillipsU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SerbanutaRM07,
author = {Traian{-}Florin Serbanuta and
Grigore Rosu and
Jos{\'{e}} Meseguer},
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {A Rewriting Logic Approach to Operational Semantics (Extended Abstract)},
booktitle = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
pages = {125--141},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.020},
doi = {10.1016/J.ENTCS.2007.08.020},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/SerbanutaRM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sobocinski07,
author = {Pawel Sobocinski},
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {A Well-behaved {LTS} for the Pi-calculus: (Abstract)},
booktitle = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
pages = {5--11},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.002},
doi = {10.1016/J.ENTCS.2007.10.002},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sobocinski07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sos/2006,
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/175/issue/1},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sos/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sos/2007,
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/192/issue/1},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sos/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BragaV07,
author = {Christiano Braga and
Alberto Verdejo},
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {Modular Structural Operational Semantics with Strategies},
booktitle = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
pages = {3--17},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.10.024},
doi = {10.1016/J.ENTCS.2006.10.024},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BragaV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosKT07,
author = {Vincent Danos and
Jean Krivine and
Fabien Tarissan},
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {Self-assembling Trees},
booktitle = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
pages = {19--32},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.11.017},
doi = {10.1016/J.ENTCS.2006.11.017},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosKT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GlabbeekM07,
author = {Rob J. van Glabbeek and
Peter D. Mosses},
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {Preface},
booktitle = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.11.016},
doi = {10.1016/J.ENTCS.2006.11.016},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GlabbeekM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Klin07a,
author = {Bartek Klin},
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {Bialgebraic Methods in Structural Operational Semantics: Invited Talk},
booktitle = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
pages = {33--43},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.11.018},
doi = {10.1016/J.ENTCS.2006.11.018},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Klin07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MousaviR07,
author = {Mohammad Reza Mousavi and
Michel A. Reniers},
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted
Makes a Difference},
booktitle = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
pages = {45--56},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.015},
doi = {10.1016/J.ENTCS.2006.09.015},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MousaviR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PilegaardNN07,
author = {Henrik Pilegaard and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {Active Evaluation Contexts for Reaction Semantics},
booktitle = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
pages = {57--70},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.014},
doi = {10.1016/J.ENTCS.2006.09.014},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PilegaardNN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PopF07,
author = {Adrian Pop and
Peter Fritzson},
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {An Eclipse-based Integrated Environment for Developing Executable
Structural Operational Semantics Specifications},
booktitle = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
pages = {71--75},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.11.019},
doi = {10.1016/J.ENTCS.2006.11.019},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PopF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Tini07,
author = {Simone Tini},
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {Notes on Generative Probabilistic Bisimulation},
booktitle = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
pages = {77--88},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.016},
doi = {10.1016/J.ENTCS.2006.09.016},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Tini07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sos/2005,
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/156/issue/1},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sos/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreiLC06,
author = {Oana Andrei and
Dorel Lucanu and
Gabriel Ciobanu},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {Operational Semantics and Rewriting Logic in Membrane Computing},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {57--78},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.028},
doi = {10.1016/J.ENTCS.2005.10.028},
timestamp = {Thu, 15 Dec 2022 16:08:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndreiLC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FecherKRB06,
author = {Harald Fecher and
Marcel Kyas and
Willem P. de Roever and
Frank S. de Boer},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {Compositional Operational Semantics of a UML-Kernel-Model Language},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {79--96},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.08.008},
doi = {10.1016/J.ENTCS.2005.08.008},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FecherKRB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FokkinkGW06,
author = {Wan J. Fokkink and
Rob J. van Glabbeek and
Paulien de Wind},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {Divide and Congruence Applied to \emph{eta}-Bisimulation},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {97--113},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.029},
doi = {10.1016/J.ENTCS.2005.10.029},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FokkinkGW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrooteMR06,
author = {Jan Friso Groote and
Mohammad Reza Mousavi and
Michel A. Reniers},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {A Hierarchy of {SOS} Rule Formats},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {3--25},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.077},
doi = {10.1016/J.ENTCS.2005.11.077},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrooteMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HymH06,
author = {Samuel Hym and
Matthew Hennessy},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {Adding Recursion to Dpi: (Extended Abstract)},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {115--133},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.09.029},
doi = {10.1016/J.ENTCS.2005.09.029},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HymH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MeseguerR06,
author = {Jos{\'{e}} Meseguer and
Grigore Rosu},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {The Rewriting Logic Semantics Project},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {27--56},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.027},
doi = {10.1016/J.ENTCS.2005.10.027},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MeseguerR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MossesU06,
author = {Peter D. Mosses and
Irek Ulidowski},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {Preface},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.018},
doi = {10.1016/J.ENTCS.2006.01.018},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MossesU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MousaviR06,
author = {Mohammad Reza Mousavi and
Michel A. Reniers},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {Prototyping {SOS} Meta-theory in Maude},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {135--150},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.09.030},
doi = {10.1016/J.ENTCS.2005.09.030},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MousaviR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SaabasU06,
author = {Ando Saabas and
Tarmo Uustalu},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {A Compositional Natural Semantics and Hoare Logic for Low-Level Languages},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {151--168},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.09.031},
doi = {10.1016/J.ENTCS.2005.09.031},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SaabasU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZieglerMP06,
author = {Axelle Ziegler and
Dale Miller and
Catuscia Palamidessi},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {A Congruence Format for Name-passing Calculi},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {169--189},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.09.032},
doi = {10.1016/J.ENTCS.2005.09.032},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZieglerMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sos/2004,
editor = {Luca Aceto and
Wan J. Fokkink and
Irek Ulidowski},
title = {Proceedings of the Workshop on Structural Operational Semantics, {SOS}
2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {1},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/128/issue/1},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sos/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AcetoFU05,
author = {Luca Aceto and
Wan J. Fokkink and
Irek Ulidowski},
editor = {Luca Aceto and
Wan J. Fokkink and
Irek Ulidowski},
title = {Preface},
booktitle = {Proceedings of the Workshop on Structural Operational Semantics, {SOS}
2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {1},
pages = {1},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.053},
doi = {10.1016/J.ENTCS.2004.08.053},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AcetoFU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Klin05,
author = {Bartek Klin},
editor = {Luca Aceto and
Wan J. Fokkink and
Irek Ulidowski},
title = {From Bialgebraic Semantics to Congruence Formats},
booktitle = {Proceedings of the Workshop on Structural Operational Semantics, {SOS}
2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {1},
pages = {3--37},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.09.038},
doi = {10.1016/J.ENTCS.2004.09.038},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Klin05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kulas05,
author = {Marija Kulas},
editor = {Luca Aceto and
Wan J. Fokkink and
Irek Ulidowski},
title = {Toward the Concept of Backtracking Computation},
booktitle = {Proceedings of the Workshop on Structural Operational Semantics, {SOS}
2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {1},
pages = {39--59},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.026},
doi = {10.1016/J.ENTCS.2004.10.026},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kulas05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lammel05b,
author = {Ralf L{\"{a}}mmel},
editor = {Luca Aceto and
Wan J. Fokkink and
Irek Ulidowski},
title = {Evolution Scenarios for Rule-Based Implementations of Language-Based
Functionality},
booktitle = {Proceedings of the Workshop on Structural Operational Semantics, {SOS}
2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {1},
pages = {61--79},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.09.039},
doi = {10.1016/J.ENTCS.2004.09.039},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lammel05b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mann05,
author = {Matthias Mann},
editor = {Luca Aceto and
Wan J. Fokkink and
Irek Ulidowski},
title = {Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda
Calculus},
booktitle = {Proceedings of the Workshop on Structural Operational Semantics, {SOS}
2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {1},
pages = {81--101},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.09.041},
doi = {10.1016/J.ENTCS.2004.09.041},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Mann05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Tardieu05,
author = {Olivier Tardieu},
editor = {Luca Aceto and
Wan J. Fokkink and
Irek Ulidowski},
title = {A Deterministic Logical Semantics for Esterel},
booktitle = {Proceedings of the Workshop on Structural Operational Semantics, {SOS}
2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {1},
pages = {103--122},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.09.040},
doi = {10.1016/J.ENTCS.2004.09.040},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Tardieu05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-24 11:55 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
