Title :
A calculus with resource usage and consumption
Author :
Lisong, Wang ; Xiaolin, Qin ; Qiulin, Ding
Author_Institution :
Coll. of Inf. Sci. & Technol., Nanjing Univ. of Aeronaut. & Astronaut., Nanjing, China
Abstract :
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.
Keywords :
Access control; Algebra; Calculus; Carbon capture and storage; Computer networks; Computer security; Educational institutions; Information science; Operating systems; Space technology; access control; behaviour equivalence; process algebra; resources;
Conference_Titel :
Software Engineering and Data Mining (SEDM), 2010 2nd International Conference on
Conference_Location :
Chengdu, China
Print_ISBN :
978-1-4244-7324-3
Electronic_ISBN :
978-89-88678-22-0
