Compositional Approximate Reasoning via Bialgebraic Semantics

Project Information

CARBS

Grant agreement ID: 795119

DOI 10.3030/795119

Project closed

EC signature date 13 April 2018

Start date 1 February 2019

End date 31 January 2020

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost € 91 727,40

EU contribution € 91 727,40

Coordinated by

UNIVERSITY COLLEGE LONDON
United Kingdom

Publications

Book chapters (2)

Up-to Techniques for Branching Bisimilarity

Author(s): Rick Erkens, Jurriaan Rot, Bas Luttik
Published in: SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings, Issue 12011, 2020, Page(s) 285-297, ISBN 978-3-030-38918-5
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-38919-2_24

Completeness and Incompleteness of Synchronous Kleene Algebra

Author(s): Jana Wagemaker, Marcello Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Published in: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings, Issue 11825, 2019, Page(s) 385-413, ISBN 978-3-030-33635-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-33636-3_14

Conference proceedings (5)

Learning Weighted Automata over Principal Ideal Domains

Author(s): Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
Published in: Accepted for publication in proceedings FoSSaCS 2020 (to appear), 2020
Publisher: Springer

Kleene Algebra with Observations

Author(s): Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Published in: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands, Issue 140, 2019, Page(s) 41:1--41:16
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2019.41

Expressive Logics for Coinductive Predicates

Author(s): Clemens Kupke, Jurriaan Rot
Published in: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Issue 152, 2020, Page(s) 26:1--26:18
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2020.26

Tree Automata as Algebras: Minimisation and Determinisation

Author(s): van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Sammartino, Matteo; Silva, Alexandra
Published in: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom, Issue 139, 2019, Page(s) 6:1--6:22
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPIcs.CALCO.2019.6

Separation and Renaming in Nominal Sets

Author(s): Moerman, Joshua; Rot, Jurriaan
Published in: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Issue 152, 2020, Page(s) 31:1--31:17
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2020.31