Complementation of coalgebra automata

Autor: Kissig, C., Venema, Y., Kurz, A., Lenisa, M., Tarlecki, A.

Publikováno v: Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings, 81-96
STARTPAGE=81;ENDPAGE=96;TITLE=Algebra and Coalgebra in Computer Science
Algebra and Coalgebra in Computer Science ISBN: 9783642037405
CALCO

Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This coalgebraic perspective on automata lays foundation to a universal theory of aut

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a08e955ff79040ddf64f76c03b9bc69
https://doi.org/10.1007/978-3-642-03741-2_7

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Simplified Coalgebraic Trace Equivalence.

Autor: Kurz, Alexander, Milius, Stefan, Pattinson, Dirk, Schröder, Lutz

Publikováno v: Software, Services & Systems; 2015, p75-90, 16p

Generalised powerlocales via relation lifting.

Autor: VENEMA, YDE, VICKERS, STEVE, VOSMAER, JACOB

Publikováno v: Mathematical Structures in Computer Science; Feb2013, Vol. 23 Issue 1, p142-199, 58p

MSC volume 23 issue 1 Cover and Back matter.

Publikováno v: Mathematical Structures in Computer Science; Feb2013, Vol. 23 Issue 1, pb1-b7, 1p