Interpreting Reo Circuits as PDL models Documento

• doi:10.32334/oqnfp.2021n49a803
• http://dx.doi.org/10.32334/oqnfp.2021n49a803

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

• O QUE NOS FAZ PENSAR (PUCRJ) 

Pesquisas

áreas de investigação

• Lógicas e Semântica de Programas

palavras-chave

• Logic
• Propositional Dynamic Logics
• Reo

Identidade

identificador BrCris

• 810105dd197cbc6c02d0494ebdbb5517

Informação adicional documento

série

• 49

Página Inicial

• 157

Volume

• 29

Outro

tem linguagem

• Inglês