Refinement in hybridised institutions

• https://www.authenticus.pt/P-00A-6SS
• full text

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

Visão geral

autores

• Madeira, A
• Manuel A. Martins
• Barbosa, L. S.
• Barbosa, L.S.
• Hennicker, R

data de publicação

• janeiro 1, 2015

publicada em

• Formal Aspects of Computing  Revista

Pesquisas

palavras-chave

• Bisimulation
• Hybridisation
• Refinement
• Refinement

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1007/s00165-014-0327-6

Informação adicional documento

Página Inicial

• 375

página final

• 395

Volume

• 27

questão

• 2