Compositional Approximate Reasoning via Bialgebraic Semantics

Projektinformationen

CARBS

ID Finanzhilfevereinbarung: 795119

DOI

10.3030/795119

Projekt abgeschlossen

EK-Unterschriftsdatum 13 April 2018

Startdatum 1 Februar 2019

Enddatum 31 Januar 2020

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 91 727,40

EU-Beitrag

€ 91 727,40

Koordiniert durch

UNIVERSITY COLLEGE LONDON
United Kingdom

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Book chapters (2)

Up-to Techniques for Branching Bisimilarity

Autoren: Rick Erkens, Jurriaan Rot, Bas Luttik
Veröffentlicht 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, Ausgabe 12011, 2020, Seite(n) 285-297, ISBN 978-3-030-38918-5
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-38919-2_24

Completeness and Incompleteness of Synchronous Kleene Algebra

Autoren: Jana Wagemaker, Marcello Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Veröffentlicht in: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings, Ausgabe 11825, 2019, Seite(n) 385-413, ISBN 978-3-030-33635-6
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-33636-3_14

Conference proceedings (5)

Learning Weighted Automata over Principal Ideal Domains

Autoren: Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
Veröffentlicht in: Accepted for publication in proceedings FoSSaCS 2020 (to appear), 2020
Herausgeber: Springer

Kleene Algebra with Observations

Autoren: Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Veröffentlicht in: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands, Ausgabe 140, 2019, Seite(n) 41:1--41:16
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2019.41

Expressive Logics for Coinductive Predicates

Autoren: Clemens Kupke, Jurriaan Rot
Veröffentlicht in: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Ausgabe 152, 2020, Seite(n) 26:1--26:18
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2020.26

Tree Automata as Algebras: Minimisation and Determinisation

Autoren: van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Sammartino, Matteo; Silva, Alexandra
Veröffentlicht in: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom, Ausgabe 139, 2019, Seite(n) 6:1--6:22
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPIcs.CALCO.2019.6

Separation and Renaming in Nominal Sets

Autoren: Moerman, Joshua; Rot, Jurriaan
Veröffentlicht in: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Ausgabe 152, 2020, Seite(n) 31:1--31:17
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2020.31