Xinghua Yao, Yixiang Chen. A Proof System in Process Algebra for Demand and Supply. In IEEE Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, CA, USA, June 30 - July 2, 2014 - Companion Volume. pages 228-236, IEEE, 2014. [doi]
Abstract is missing.