An Assume/Guarantee Based Compositional Calculus for Hybrid CSP.

Shuling Wang, Naijun Zhan, Dimitar P. Guelev

Browse the full TAMC paper archive.