A logical framework to reason about Reo circuits

MaRDI QIDQ5039192zbMATH OpenFDO

Authors Erick Grilo, Daniel Toledo, Bruno Lopes

Publication date 12 October 2022

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• ReLo: a Dynamic Logic to Reason About Reo Circuits
• Overview of thirty semantic formalisms for Reo
• Reo: a channel-based coordination model for component composition
• Symbolic execution of Reo circuits using constraint automata
• Modeling dynamic reconfigurations in Reo using high-level replacement systems

Cited in

(3)

• Synthesis of Reo circuits from scenario-based interaction specifications
• Using PVS for Modeling and Verification of Probabilistic Connectors
• ReLo: a Dynamic Logic to Reason About Reo Circuits

Describes a project that uses

Uses Software

• Coq

This page was built for publication: A logical framework to reason about Reo circuits

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5039192)