Puff, The Magic Protocol

2011/01/01 by Farhad Arbab · 1 citation
Computer Science · #Distributed systems and fault tolerance #Formal Methods in Verification #Logic, Reasoning, and Knowledge

paper · doi:10.1007/978-3-642-24933-4_9

crossref issued 2011/01/01 · crossref published 2011/01/01 · crossref published-print 2011/01/01 · openalex publication_date 2011/01/01 · crossref created 2011/10/29 · crossref deposited 2025/03/13 · openalex created_date 2025/10/10 · crossref indexed 2026/05/08 · openalex updated_date 2026/07/29

Citations

• Models and temporal logical specifications for timed component connectors
• Journal of Universal Computer Science
• Probabilistic Models for Reo Connector Circuits
• A Coinductive Calculus of Component Connectors
• Modeling component connectors in Reo by constraint automata
• Connector colouring I: Synchronisation and context dependency
• Reo: a channel-based coordination model for component composition
• Reconfiguration of Reo Connectors Triggered by Dataflow

Cited by

• Reo Coordination Language [wikipedia]