Shuling Wang, Naijun Zhan, Dimitar P. Guelev. An Assume/Guarantee Based Compositional Calculus for Hybrid CSP. In Manindra Agrawal, S. Barry Cooper, Angsheng Li, editors, Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings. Volume 7287 of Lecture Notes in Computer Science, pages 72-83, Springer, 2012. [doi]
Abstract is missing.