已收录 273616 条政策
 政策提纲
  • 暂无提纲
Tech Report: HPL-2004-170R1: A Calculus and Logic
[摘要] 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. Notes: David Pym visiting from University of Bath 28 Pages
[发布日期]  [发布机构] HP Development Company
[效力级别]  [学科分类] 计算机科学(综合)
[关键词] logic;concurrency;resources;processes;modelling;parallel [时效性] 
   浏览次数:95      统一登录查看全文      激活码登录查看全文