Caoqing Jiang

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Process algebra have been effectively exploited for modeling and verifying functional aspects of services composition, but non-functional aspects have not been given enough care due to process algebra lacking of capability of modeling them. In this paper, we propose a novel process algebra called PTPA that incorporates price and cost. We present syntax and(More)
  • 1