An Exercise on Transition Systems

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

Visão geral

autores

• Barbosa, L.S.
• Paula Regina Costa Ribeiro
• Barbosa, L.S.
• Wang, S.

data de publicação

• janeiro 1, 2008

publicada em

• Electronic Notes in Theoretical Computer Science  Revista

Pesquisas

palavras-chave

• Coalgebra
• Transition systems
• bisimularity
• coalgebraic
• process algebra
• relational

Identidade

Digital Object Identifier (DOI)

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

Informação adicional documento

Página Inicial

• 89

página final

• 106

Volume

• 207

questão

• C