A calculus with resource usage and consumption is proposed in this paper, it is a new variation of the CCS, named RUCCS, in which a process must hold and consume some resources to execute an action. In RUCCS, processes operate relative to a resource environment, and communications can only happen if principals have provided sufficient resources for the communication action. In this preliminary paper, we design the syntax, semantics and bisimulation based on the set of observation ability is proposed for the calculus and some examples show that this calculus has very powerful expressiveness.
展开▼
