Non-Deterministic Kleene Coalgebras - Computer Science > Logic in Computer ScienceReport as inadecuate




Non-Deterministic Kleene Coalgebras - Computer Science > Logic in Computer Science - Download this document for free, or read online. Document in PDF available to download.

Abstract: In this paper, we present a systematic way of deriving 1 languages ofgeneralised regular expressions, and 2 sound and complete axiomatizationsthereof, for a wide variety of systems. This generalizes both the results ofKleene on regular languages and deterministic finite automata and Milner onregular behaviours and finite labelled transition systems, and includes manyother systems such as Mealy and Moore machines.



Author: Alexandra Silva CWI, Marcello Bonsangue LIACS, Leiden University, Jan Rutten CWI, VUA RUN

Source: https://arxiv.org/







Related documents