A Calculus with Resource Usage and Consumption
A calculus with resource usage and consumption is proposed in this paper, it is a new variation of the CCS,nnmed RUCCS, in which a proces.s 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,semnntics and bisimulation based on the set of observation ability is proposed for the calculus and some exnmpks show that this calculus has very powerful expressiveness.
access control resources behaviour equivalence process algebra
Wang Lisong Qin Xiaolin Ding Qiulin
College of Information Science and technology Nanjing University of Aeronautics and A stronautics Nanjing, P. R. China
国际会议
成都
英文
166-170
2010-06-23（万方平台首次上网日期，不代表论文的发表时间）