A Single Complete Relational Rule for Coalgebraic Refinement

• http://www.scopus.com/inward/record.url?eid=2-s2.0-72049129390&partnerID=MN8TOARS
• full text

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

autores

• Barbosa, L.S.
• Oliveira, J.N.
• Barbosa, L.S.

data de publicação

• janeiro 1, 2009

publicada em

• Electronic Notes in Theoretical Computer Science  Revista

Pesquisas

palavras-chave

• Refinement
• Transition systems
• coalgebraic refinement

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1016/j.entcs.2009.12.014

Informação adicional documento

Página Inicial

• 3

página final

• 19

Volume

• 259

questão

• C