Zobrazeno 1 - 5
of 5
pro vyhledávání: '"César J. Rodrigues"'
Publikováno v:
Refine@FM
The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-institutions. This leads to a smooth generalization of the refinement-by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f82a4b84bfc91f48c8c6b54515a41002
https://doi.org/10.4204/eptcs.55.4
https://doi.org/10.4204/eptcs.55.4
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
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
https://doi.org/10.1016/j.entcs.2009.12.014
Publikováno v:
SYNASC
Software connectors are external coordination devices which ensure the flow of data and enforce synchronization constraints within a component’s network. The specification of software connectors through which context dependent behaviour is correctl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::60afa01364de576198c7b48e3f557687
https://doi.org/10.1109/synasc.2010.38
https://doi.org/10.1109/synasc.2010.38
Autor:
José Nuno Oliveira, César J. Rodrigues
Publikováno v:
FM 2006: Formal Methods ISBN: 9783540372158
FM
FM
The standard operation refinement ordering is a kind of “meet of opposites”: non-determinism reduction suggests “smaller” behaviour while increase of definition suggests “larger” behaviour. Groves' factorization of this ordering into two
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3dd5b0d32823cf503e733378481f6438
https://doi.org/10.1007/11813040_17
https://doi.org/10.1007/11813040_17
Autor:
José Nuno Oliveira, César J. Rodrigues
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540223801
MPC
MPC
Functional transposition is a technique for converting relations into functions aimed at developing the relational algebra via the algebra of functions.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5bed5834dec361ff5cd4cc13ffc81e4d
https://doi.org/10.1007/978-3-540-27764-4_18
https://doi.org/10.1007/978-3-540-27764-4_18