Compositional Approximate Reasoning via Bialgebraic Semantics

Información del proyecto

CARBS

Identificador del acuerdo de subvención: 795119

DOI

10.3030/795119

Proyecto cerrado

Fecha de la firma de la CE 13 Abril 2018

Fecha de inicio 1 Febrero 2019

Fecha de finalización 31 Enero 2020

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 91 727,40

Aportación de la UE

€ 91 727,40

Coordinado por

UNIVERSITY COLLEGE LONDON
United Kingdom

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Book chapters (2)

Up-to Techniques for Branching Bisimilarity

Autores: Rick Erkens, Jurriaan Rot, Bas Luttik
Publicado en: 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, Edición 12011, 2020, Página(s) 285-297, ISBN 978-3-030-38918-5
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-38919-2_24

Completeness and Incompleteness of Synchronous Kleene Algebra

Autores: Jana Wagemaker, Marcello Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Publicado en: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings, Edición 11825, 2019, Página(s) 385-413, ISBN 978-3-030-33635-6
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-33636-3_14

Conference proceedings (5)

Learning Weighted Automata over Principal Ideal Domains

Autores: Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
Publicado en: Accepted for publication in proceedings FoSSaCS 2020 (to appear), 2020
Editor: Springer

Kleene Algebra with Observations

Autores: Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Publicado en: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands, Edición 140, 2019, Página(s) 41:1--41:16
Editor: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2019.41

Expressive Logics for Coinductive Predicates

Autores: Clemens Kupke, Jurriaan Rot
Publicado en: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Edición 152, 2020, Página(s) 26:1--26:18
Editor: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2020.26

Tree Automata as Algebras: Minimisation and Determinisation

Autores: van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Sammartino, Matteo; Silva, Alexandra
Publicado en: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom, Edición 139, 2019, Página(s) 6:1--6:22
Editor: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPIcs.CALCO.2019.6

Separation and Renaming in Nominal Sets

Autores: Moerman, Joshua; Rot, Jurriaan
Publicado en: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Edición 152, 2020, Página(s) 31:1--31:17
Editor: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2020.31