A calculus and logic of bunched resources and processes

被引：13

作者：

Anderson, Gabrielle ^{[1
]}

Pym, David ^{[1
]}

机构：

[1] UCL, London WC1E 6BT, England

来源：

THEORETICAL COMPUTER SCIENCE | 2016年 / 614卷

基金：

英国工程与自然科学研究理事会;

关键词：

Modal logic; Process algebra; Bunched logic; Resource semantics; SEMANTICS; ALGEBRA;

D O I：

10.1016/j.tcs.2015.11.035

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Mathematical modelling and simulation modelling are fundamental tools of engineering, science, and social sciences such as economics, and provide decision-support tools in management. Mathematical models are essentially deployed at all scales, all levels of complexity, and all levels of abstraction. Models are often required to be executable, as a simulation, on a computer. We present some contributions to the process-theoretic and logical foundations of discrete-event modelling with resources and processes. Building on previous work in resource semantics, process calculus, and modal logic, we describe a process calculus with an explicit representation of resources in which processes and resources co-evolve. The calculus is closely connected to a substructural modal logic that may be used as a specification language for properties of models. In contrast to earlier work, we formulate the resource semantics, and its relationship with process calculus, in such a way that we obtain soundness and completeness of bisimulation with respect to logical equivalence for the naturally full range of logical connectives and modalities. We give a range of examples of the use of the process combinators and logical structure to describe system structure and behaviour. (C) 2015 The Authors. Published by Elsevier B.V.

引用

页码：63 / 96

页数：34

共 37 条

[1]

Anderson G., 2015, HENNESSY MILNE UNPUB

[2]

Beautement A., 2008, MANAGING INFORM RISK, P141

[3] Analysing the Performance of Security Solutions to Reduce Vulnerability Exposure Window [J].

Beres, Yolanta ;

Griffin, Jonathan ;

Shiu, Simon ;

Heitman, Max ;

Markle, David ;

Ventura, Peter .

24TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, PROCEEDINGS, 2008, :33-42

[4]

Beresnevichiene Y., 2010, NOMS 2010 - 2010 IEEE/IFIP Network Operations and Management Symposium Workshops, P118, DOI 10.1109/NOMSW.2010.5486590

[5] ALGEBRA OF COMMUNICATING PROCESSES WITH ABSTRACTION [J].

BERGSTRA, JA ;

KLOP, JW .

THEORETICAL COMPUTER SCIENCE, 1985, 37 (01) :77-121

[6]

Birtwistle G., 1987, DISCRETE EVENT MODEL

[7] A semantics for concurrent separation logic [J].

Brookes, Stephen .

THEORETICAL COMPUTER SCIENCE, 2007, 375 (1-3) :227-270

[8]

Caulfield Tristan, 2014, Human Aspects of Information Security, Privacy, and Trust. Second International Conference, HAS 2014, Held as Part of HCI International 2014. Proceedings: LNCS 8533, P233, DOI 10.1007/978-3-319-07620-1_21

[9]

Caulfield T., 2015, P 8 SIMUTOOLS

[10]

Chellas B. F., 1980, Modal Logic: An Introduction

← 1 2 3 4 →