Modelling of Bonding with Processes and Events
Modelling of Bonding with Processes and Events
复制标题
流程和事件的联系建模
DOI：
10.1007/978-3-642-38986-3_12
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Shoji Yuen
中科院分区：
文献类型：
--
作者：
Iain Phillips;Irek Ulidwoski;Shoji Yuen
我们介绍了两种形式的系统建模，这些系统由通过键结合在一起的对象组成。在用于成键的反应系统中，我们定义了如何通过还原风格的语义来创建和分解键。从软件工程和生物化学的例子说明了反应系统的有用性。我们还引入了可逆事件结构，并定义了配置的概念。然后，我们讨论了如何根据可逆事件结构给出用于键合的反应系统的语义。
We introduce two forms of modelling of systems that consist of objects that are combined together by the means of bonds. In reaction systems for bonding we define how bonds are created and dissolved via reduction-style semantics. The usefulness of reaction systems is illustrated with examples taken from software engineering and biochemistry. We also introduce reversible event structures and define the notion of configuration. We then discuss how to give semantics of reaction systems for bonding in terms of reversible event structures.
登录
查看更多内容
在 CCS-R 中完成正式的分子生物学
DOI：
--
发表时间：
2003
期刊：
BioConcur@CONCUR
影响因子：
--
作者：
V. Danos;J. Krivine
通讯作者：
J. Krivine
事件、因果关系和对称性
DOI：
10.1093/comjnl/bxp052
发表时间：
2008
期刊：
Comput. J.
影响因子：
--
作者：
G. Winskel
通讯作者：
G. Winskel
可解决冲突的事件结构
DOI：
--
发表时间：
2004
期刊：
International Symposium on Mathematical Foundations of Computer Science
影响因子：
--
作者：
R. V. Glabbeek;G. Plotkin
通讯作者：
G. Plotkin
DOI：
--
发表时间：
2011
期刊：
Computational Methods in Systems Biology
影响因子：
--
作者：
L. Cardelli;C. Laneve
通讯作者：
C. Laneve
CONCUR 2010 - 并发理论，第 21 届国际会议，CONCUR 2010，法国巴黎，2010 年 8 月 31 日至 9 月 3 日。会议记录
影响因子：
--
作者：
P. Gastin;F. Laroussinie
通讯作者：
F. Laroussinie