Capturing Stochastic and Real-Time Behavior in Reo Connectors

DOI10.1007/978-3-319-70848-5_18zbMath1498.68032OpenAlexW2767285307MaRDI QIDQ5045472

Yuanyi Ji, Yi Li, Xiyue Zhang, 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

distributed systemscoordinationReoreal-time behaviorstochastic timed automata

Mathematics Subject Classification ID

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

Related Items (1)

ReLo: a Dynamic Logic to Reason About Reo Circuits

This page was built for publication: Capturing Stochastic and Real-Time Behavior in Reo Connectors