ReLo: a Dynamic Logic to Reason About Reo Circuits

DOI10.4204/eptcs.376.4arXiv2303.13255MaRDI QIDQ6118744

Erick Grilo, Bruno D. Lopes

Publication date: 28 February 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2303.13255

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards reasoning about Petri nets: a propositional dynamic logic based approach
• Zero-safe nets: Comparing the collective and individual token approaches.
• Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
• Modeling component connectors in Reo by constraint automata
• A completeness theorem in modal logic
• Coordination: Reo, Nets, and Logic
• Reo: a channel-based coordination model for component composition
• Capturing Stochastic and Real-Time Behavior in Reo Connectors
• Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
• Recent Trends in Algebraic Development Techniques

This page was built for publication: ReLo: a Dynamic Logic to Reason About Reo Circuits