Coordination: Reo, Nets, and Logic

DOI10.1007/978-3-540-92188-2_10zbMATH Open1209.68335OpenAlexW2130363991MaRDI QIDQ3603000FDOQ3603000

Dave Clarke

Publication date: 12 February 2009

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/217971

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Reo: a channel-based coordination model for component composition
• Linear and affine logics with temporal, spatial and epistemic operators
• The semantics and proof theory of the logic of bunched implications
• Linear logic
• Computational interpretations of linear logic
• Types for Proofs and Programs
• Completeness results for linear logic on Petri nets
• Connector colouring. I: Synchronisation and context dependency
• Modeling component connectors in Reo by constraint automata
• A game semantics for linear logic
• Linear logic as a logic of computations
• Zero-safe nets: Comparing the collective and individual token approaches.
• Petri nets are monoids
• Recent Trends in Algebraic Development Techniques
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the \(\pi\)-calculus and linear logic
• Linear logic automata
• Timed Petri nets: Classification and comparative analysis
• Applications of Linear Logic to Computation: An Overview
• Tiling transactions in rewriting logic
• Title not available (Why is that?)
• Lectures on Concurrency and Petri Nets
• Advances in Artificial Intelligence – SBIA 2004

Cited In (4)

• Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
• Channel-based coordination via constraint satisfaction
• Title not available (Why is that?)
• ReLo: a Dynamic Logic to Reason About Reo Circuits

Uses Software

• YAWL
• Reo

   Recommendations

• Reo: a channel-based coordination model for component composition 👍 👎
• A coinductive calculus of component connectors. 👍 👎
• Title not available (Why is that?) 👍 👎
• Combine and conquer: relating BIP and Reo 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Coordination: Reo, Nets, and Logic

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