Approximate Bisimulation and Discretization of Hybrid CSP

Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan. Approximate Bisimulation and Discretization of Hybrid CSP. In John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou, editors, FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Volume 9995 of Lecture Notes in Computer Science, pages 702-720, 2016. [doi]

Abstract

Abstract is missing.