A Calculus and Logic of Resources and Processes

D Pym, C Tofts

Research output: Contribution to journalArticle

29 Citations (Scopus)

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.
Original languageEnglish
Pages (from-to)495-517
Number of pages23
JournalFormal Aspects of Computing
Volume18
Issue number4
Publication statusPublished - 2006

Fingerprint Dive into the research topics of 'A Calculus and Logic of Resources and Processes'. Together they form a unique fingerprint.

  • Cite this