ReLo: a Dynamic Logic to Reason About Reo Circuits Documento

• http://dx.doi.org/10.4204/EPTCS.376.4

•  
• 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

• 2023-01-01

publicada em

• ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 

Pesquisas

áreas de investigação

• Lógicas e Semântica de Programas

palavras-chave

• Dynamic Logic
• Logic
• Reo

Identidade

identificador BrCris

• b35ae8fc8e51e0371521234cfa6b32f3

Informação adicional documento

Página Inicial

• 16

página final

• 33

Volume

• 376

Outro

tem linguagem

• Inglês