Coordination: Reo, Nets, and Logic

DOI10.1007/978-3-540-92188-2_10zbMath1209.68335OpenAlexW2130363991MaRDI QIDQ3603000

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)

Related Items

ReLo: a Dynamic Logic to Reason About Reo Circuits, Channel-based coordination via constraint satisfaction, Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets

Uses Software

• YAWL
• Reo

Cites Work

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