Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication

Stanley Bak, Zhenqi Huang, Fardin Abdi Taghi Abad, Marco Caccamo. Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication. ACM Trans. Embedded Comput. Syst., 14(4):76, 2015. [doi]

Abstract

Abstract is missing.