A logical framework to reason about Reo circuits Documento

• http://www.collegepublications.co.uk/ifcolog/?00053

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

Visão geral

tipo

• journal article

autores

• Bruno Lopes Vieira
• Erick Simas Grilo

data de publicação

• 2022-01-01

publicada em

• Journal of Applied Logics â013 IfCoLog Journal of Logics and their Applications 

Pesquisas

áreas de investigação

• Lógicas e Semântica de Programas

palavras-chave

• Coq
• Logic
• Model Checking
• Reo

Identidade

identificador BrCris

• 4dbea3a4a16b2e56a8beb63a29fac285

Informação adicional documento

série

• 1

Página Inicial

• 199

página final

• 254

Volume

• 9

Outro

tem linguagem

• Inglês