External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An Assume/Guarantee Based Compositional Calculus for Hybrid CSP

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]

Authors

Shuling Wang

This author has not been identified. Look up 'Shuling Wang' in Google

Naijun Zhan

This author has not been identified. Look up 'Naijun Zhan' in Google

Dimitar P. Guelev

This author has not been identified. Look up 'Dimitar P. Guelev' in Google
runs on