Composition of interacting computations

DOI10.1007/3-540-34874-3_12MaRDI QIDQ4928708zbMATH OpenOpenAlexFDO

Authors Farhad Arbab

Publication date 18 June 2013

Published in Interactive Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-34874-3_12

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Reo: a channel-based coordination model for component composition
• Overview of thirty semantic formalisms for Reo
• Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math>
• Combine and conquer: relating BIP and Reo
• Proper protocol

Cited in

(10)

• BCOOPL: A language for controlling component interactions
• Proper protocol
• scientific article; zbMATH DE number 5887079 (Why is no real title available?)
• scientific article; zbMATH DE number 4047161 (Why is no real title available?)
• Symbolic execution of Reo circuits using constraint automata
• Interference Effects in Computation
• Channel-based coordination via constraint satisfaction
• Objects, Agents, and Features
• Comparing three coordination models: Reo, ARC, and PBRD
• Compositional separation of control flow and data flow

This page was built for publication: Composition of interacting computations

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