Capturing stochastic and real-time behavior in Reo connectors

DOI10.1007/978-3-319-70848-5_18MaRDI QIDQ5045472zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

coordinationdistributed systemsReoreal-time behaviorstochastic timed automata

Mathematics Subject Classification ID

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

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

Cited in

(4)

• 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
• Using PVS for Modeling and Verification of Probabilistic 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)