Research

A Calculus and Logic of Resources and Processes


Reference:

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.

Abstract

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.

Details

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

Export

Actions (login required)

View Item