Compositional Approximate Reasoning via Bialgebraic Semantics

Informacje na temat projektu

CARBS

Identyfikator umowy o grant: 795119

DOI

10.3030/795119

Projekt został zamknięty

Data podpisania przez KE 13 Kwietnia 2018

Data rozpoczęcia 1 Lutego 2019

Data zakończenia 31 Stycznia 2020

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity

€ 91 727,40

Wkład UE

€ 91 727,40

Koordynowany przez

UNIVERSITY COLLEGE LONDON
United Kingdom

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Book chapters (2)

Up-to Techniques for Branching Bisimilarity

Autorzy: Rick Erkens, Jurriaan Rot, Bas Luttik
Opublikowane w: 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, Numer 12011, 2020, Strona(/y) 285-297, ISBN 978-3-030-38918-5
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-38919-2_24

Completeness and Incompleteness of Synchronous Kleene Algebra

Autorzy: Jana Wagemaker, Marcello Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Opublikowane w: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings, Numer 11825, 2019, Strona(/y) 385-413, ISBN 978-3-030-33635-6
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-33636-3_14

Conference proceedings (5)

Learning Weighted Automata over Principal Ideal Domains

Autorzy: Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
Opublikowane w: Accepted for publication in proceedings FoSSaCS 2020 (to appear), 2020
Wydawca: Springer

Kleene Algebra with Observations

Autorzy: Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Opublikowane w: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands, Numer 140, 2019, Strona(/y) 41:1--41:16
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2019.41

Expressive Logics for Coinductive Predicates

Autorzy: Clemens Kupke, Jurriaan Rot
Opublikowane w: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Numer 152, 2020, Strona(/y) 26:1--26:18
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2020.26

Tree Automata as Algebras: Minimisation and Determinisation

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

Separation and Renaming in Nominal Sets

Autorzy: Moerman, Joshua; Rot, Jurriaan
Opublikowane w: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Numer 152, 2020, Strona(/y) 31:1--31:17
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2020.31