A calculus and logic of bunched resources and processes-Reference-Cited by-同舟云学术

A calculus and logic of bunched resources and processes

Published:2016-02 Issue: Volume:614 Page:63-96
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Anderson Gabrielle,Pym David

Funder

Technology Strategy Board

EPSRC

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference36 articles.

1. G. Anderson, J. Brotherston, D. Pym, Hennessy–Milner completeness in resource–process calculus, Manuscript, UCL, 2015, http://www.cs.ucl.ac.uk/staff/D.Pym/resource_process_HM.pdf.

2. Modelling the human and technological costs and benefits of USB memory stick security;Beautement,2008

3. Analysing the performance of security solutions to reduce vulnerability exposure windows;Beres,2008

4. Decision support for systems security investment;Beres,2010

5. Algebra of communicating processes with abstraction;Bergstra;Theoret. Comput. Sci.,1985

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency;Proceedings of the ACM on Programming Languages;2022-10-31

2. A process calculus for privacy-preserving protocols in location-based service systems;Journal of Logical and Algebraic Methods in Programming;2022-02

3. Modelling and Control of Complex Cyber-Physical Ecosystems;IFAC-PapersOnLine;2022

4. Modelling Organizational Recovery;Simulation Tools and Techniques;2022

5. Engineering Ecosystem Models: Semantics and Pragmatics;Simulation Tools and Techniques;2022