A Proof System in Process Algebra for Demand and Supply | IEEE Conference Publication | IEEE Xplore