A Formal Framework Capturing Real-Time and Stochastic Behavior in Connectors

Published in Science of Computer Programming, 2019

Recommended citation: Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun. "A Formal Framework Capturing Real-Time and Stochastic Behavior in Connectors." Science of Computer Programming. vol. 177, 2019. https://www.sciencedirect.com/science/article/pii/S0167642318301631?via%3Dihub