Compositional Approximate Reasoning via Bialgebraic Semantics

Informazioni relative al progetto

CARBS

ID dell’accordo di sovvenzione: 795119

DOI

10.3030/795119

Progetto chiuso

Data della firma CE 13 Aprile 2018

Data di avvio 1 Febbraio 2019

Data di completamento 31 Gennaio 2020

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 91 727,40

Contributo UE

€ 91 727,40

Coordinato da

UNIVERSITY COLLEGE LONDON
United Kingdom

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Book chapters (2)

Up-to Techniques for Branching Bisimilarity

Autori: Rick Erkens, Jurriaan Rot, Bas Luttik
Pubblicato 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, Numero 12011, 2020, Pagina/e 285-297, ISBN 978-3-030-38918-5
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-38919-2_24

Completeness and Incompleteness of Synchronous Kleene Algebra

Autori: Jana Wagemaker, Marcello Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Pubblicato in: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings, Numero 11825, 2019, Pagina/e 385-413, ISBN 978-3-030-33635-6
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-33636-3_14

Conference proceedings (5)

Learning Weighted Automata over Principal Ideal Domains

Autori: Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
Pubblicato in: Accepted for publication in proceedings FoSSaCS 2020 (to appear), 2020
Editore: Springer

Kleene Algebra with Observations

Autori: Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Pubblicato in: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands, Numero 140, 2019, Pagina/e 41:1--41:16
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2019.41

Expressive Logics for Coinductive Predicates

Autori: Clemens Kupke, Jurriaan Rot
Pubblicato in: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Numero 152, 2020, Pagina/e 26:1--26:18
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2020.26

Tree Automata as Algebras: Minimisation and Determinisation

Autori: van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Sammartino, Matteo; Silva, Alexandra
Pubblicato in: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom, Numero 139, 2019, Pagina/e 6:1--6:22
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPIcs.CALCO.2019.6

Separation and Renaming in Nominal Sets

Autori: Moerman, Joshua; Rot, Jurriaan
Pubblicato in: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Numero 152, 2020, Pagina/e 31:1--31:17
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2020.31