Integrated Analysis from Abstract Stochastic Process Algebra Models

被引：0

作者：

Hillston, Jane ^{[1
]}

Ciocchetta, Federica ^{[1
]}

Duguid, Adam ^{[1
]}

Gilmore, Stephen ^{[1
]}

机构：

[1] Univ Edinburgh, Lab Fdn Comp Sci, Edinburgh EH8 9YL, Midlothian, Scotland

来源：

COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, PROCEEDINGS | 2008年 / 5307卷

基金：

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

关键词：

D O I：

暂无

中图分类号：

Q5 [生物化学];

学科分类号：

071010 ; 081704 ;

摘要：

引用

页码：2 / 4

页数：3

共 50 条

[21] Investigating modularity in the analysis of process algebra models of biochemical systems
Ciocchetta, Federica
Guerriero, Maria Luisa
Hillston, Jane
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (19): : 55 - 69
[22] Transitioning away from stochastic process models
Gardner, William A.
[J]. JOURNAL OF SOUND AND VIBRATION, 2023, 565
[23] Stochastic process algebra: From an algebraic formalism to an architectural description language
Bernardo, M
Donatiello, L
Ciancarini, P
[J]. PERFORMANCE EVALUATION OF COMPLEX SYSTEMS: TECHNIQUES AND TOOLS: PERFORMANCE 2002 TUTORIAL LECTURES, 2002, 2459 : 236 - 260
[24] Towards model checking stochastic process algebra
Hermanns, H
Katoen, JP
Meyer-Kayser, J
Siegle, M
[J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 420 - 439
[25] PERFORMANCE EVALUATION IN STOCHASTIC PROCESS ALGEBRA DTSDPBC
Tarasyuk, I., V
[J]. SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2021, 18 (02): : 1105 - 1145
[26] An extension of Stochastic Process Algebra for optical networks
Tsang, T
[J]. APCC 2003: 9TH ASIA-PACIFIC CONFERENCE ON COMMUNICATION, VOLS 1-3, PROCEEDINGS, 2003, : 615 - 619
[27] A stochastic causality-based process algebra
Brinksma, E
Katoen, JP
Langerak, R
Latella, D
[J]. COMPUTER JOURNAL, 1995, 38 (07): : 552 - 565
[28] Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA
Xian Yang
Rui Han
Yike Guo
Jeremy Bradley
Benita Cox
Robert Dickinson
Richard Kitney
[J]. BMC Bioinformatics, 13
[29] A Novel Formal Analysis Method of Network Survivability Based on Stochastic Process Algebra
赵国生
王慧强
王健
[J]. Tsinghua Science and Technology, 2007, (S1) : 175 - 179
[30] A Novel Formal Analysis Method of Network Survivability Based on Stochastic Process Algebra
Center of Computer Network and Information, Harbin Normal University, Harbin, 150001, China
不详
[J]. Tsinghua Sci. Tech., 2007, SUPPL. 1 (175-179):

← 1 2 3 4 5 →