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

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

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