A calculus and logic of bunched resources and processes
A calculus and logic of bunched resources and processes
复制标题
一堆资源和进程的演算和逻辑
DOI：
10.1016/j.tcs.2015.11.035
复制
发表时间：
2016
影响因子：
1.1
通讯作者：
Anderson G
中科院分区：
文献类型：
--
作者：
Anderson G
数学建模和仿真建模是工程、科学和经济学等社会科学的基本工具，并为管理提供决策支持工具。数学模型本质上是在所有的尺度、所有的复杂程度和所有的抽象程度上进行部署的。模型通常需要在计算机上可执行，就像模拟一样。我们对具有资源和过程的离散事件建模的过程理论和逻辑基础提出了一些贡献。基于先前在资源语义、过程演算和模态逻辑方面的工作，我们描述了一种过程演算，它具有过程和资源共同进化的资源的显式表示。微积分与子结构模态逻辑密切相关，可作为模型属性的规范语言。与早期的工作相反，我们制定了资源语义及其与过程演算的关系，以这样一种方式，我们获得了关于逻辑等价的自然全范围逻辑连接词和模态的双模拟的可靠性和完整性。我们给出了一系列使用过程组合子和逻辑结构来描述系统结构和行为的例子。
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.
登录
查看更多内容
影响因子：
0.5
作者：
Galmiche, D;Méry, D;Pym, D
通讯作者：
Pym, D
分离模态的逻辑
影响因子：
1.1
作者：
Jean;D. Galmiche;D. Pym
通讯作者：
D. Pym
DOI：
--
发表时间：
2013
期刊：
Theories of Programming and Formal Methods
影响因子：
--
作者：
T. Hoare
通讯作者：
T. Hoare
基于资源的系统建模的代数和逻辑
影响因子：
0.5
作者：
M. Collinson;D. Pym
通讯作者：
D. Pym
DOI：
--
发表时间：
2010
期刊：
International ICST Conference on Simulation Tools and Techniques
影响因子：
--
作者：
M. Collinson;B. Monahan;D. Pym
通讯作者：
D. Pym