Capturing stochastic and real-time behavior in Reo connectors

DOI10.1007/978-3-319-70848-5_18zbMATH Open1498.68032OpenAlexW2767285307MaRDI QIDQ5045472FDOQ5045472

Authors: Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun 

Publication date: 4 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-70848-5_18

Recommendations

• A relational model for probabilistic connectors based on timed data distribution streams
• Reo: a channel-based coordination model for component composition
• A compositional model to reason about end-to-end QoS in stochastic Reo connectors
• A coinductive calculus of component connectors.
• Modeling component connectors in Reo by constraint automata

zbMATH Keywords

coordinationdistributed systemsReoreal-time behaviorstochastic timed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Distributed systems (68M14)

Cited In (3)

• A relational model for probabilistic connectors based on timed data distribution streams
• A compositional model to reason about end-to-end QoS in stochastic Reo connectors
• ReLo: a Dynamic Logic to Reason About Reo Circuits

This page was built for publication: Capturing stochastic and real-time behavior in Reo connectors

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