A Calculus and Logic of Resources and Processes


Pym, D. and Tofts, C., 2006. A Calculus and Logic of Resources and Processes. Formal Aspects of Computing, 18 (4), pp. 495-517.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.


Recent advances in logics for reasoning about resources provide a new approach to compositional reasoning in interacting systems. We present a calculus of resources and processes, based on a development of Milner's synchronous calculus of communication systems, SCCS, that uses an explicit model of resource. Our calculus models the co-evolution of resources and processes with synchronization constrained by the availability of resources. We provide a logical characterization, analogous to Hennessy-Milner logic's characterization of bisimulation in CCS, of bisimulation between resource processes which is compositional in the concurrent and local structure of systems.


Item Type Articles
CreatorsPym, D.and Tofts, C.
DepartmentsFaculty of Science > Computer Science
ID Code5323


Actions (login required)

View Item