A Single Complete Relational Rule for Coalgebraic Refinement

Autor: Luís Soares Barbosa, César J. Rodrigues, José Nuno Oliveira

Publikováno v: Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP

A transition system can be presented either as a binary relation or as a coalgebra for the powerset functor, each representation being obtained from the other by transposition. More generally, a coalgebra for a functor F generalises transition system

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9dd1817e899d18f44ea88852c4af65af
https://doi.org/10.1016/j.entcs.2009.12.014