Coordination: Reo, Nets, and Logic

DOI10.1007/978-3-540-92188-2_10MaRDI QIDQ3603000zbMATHOpenAlexFDO

Authors 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)

Recommendations

• Reo: a channel-based coordination model for component composition
• A coinductive calculus of component connectors.
• Overview of thirty semantic formalisms for Reo
• Combine and conquer: relating BIP and Reo
• Relating BIP and Reo

Cites work

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

Cited in

(6)

• scientific article; zbMATH DE number 1630019 (Why is no real title available?)
• Relating BIP and Reo
• Channel-based coordination via constraint satisfaction
• Combine and conquer: relating BIP and Reo
• Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
• ReLo: a Dynamic Logic to Reason About Reo Circuits

Describes a project that uses

Uses Software

• YAWL
• Reo

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)