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 条
  • [1] Structural Analysis for Stochastic Process Algebra Models
    Ding, Jie
    Hillston, Jane
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 2011, 6486 : 1 - +
  • [2] Numerically Representing Stochastic Process Algebra Models
    Ding, Jie
    Hillston, Jane
    [J]. COMPUTER JOURNAL, 2012, 55 (11): : 1383 - 1397
  • [3] State Equations in Stochastic Process Algebra Models
    Ding, Jie
    Zhu, Xin-Shan
    Chen, Xiao
    [J]. IEEE ACCESS, 2019, 7 : 61195 - 61203
  • [4] Model-driven performance analysis of UML design models based on stochastic process algebra
    Tabuchi, N
    Sato, N
    Nakamura, H
    [J]. MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2005, 3748 : 41 - 58
  • [5] Analysis of a multimedia stream using stochastic process algebra
    Bowman, H
    Bryans, JW
    Derrick, J
    [J]. COMPUTER JOURNAL, 2001, 44 (04): : 230 - 245
  • [6] ABSTRACT TIMED OBSERVATION AND PROCESS ALGEBRA
    JEFFREY, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 332 - 345
  • [7] Assembly Code Analysis Using Stochastic Process Algebra
    Djoudi, Lamia
    Kloul, Leila
    [J]. COMPUTER PERFORMANCE ENGINEERING, PROCEEDINGS, 2008, 5261 : 95 - 109
  • [8] Stochastic Process Algebra and Stability Analysis of Collective Systems
    Bortolussi, Luca
    Latella, Diego
    Massink, Mieke
    [J]. COORDINATION MODELS AND LANGUAGES, COORDINATION 2013, 2013, 7890 : 1 - 15
  • [9] Higher Moment Analysis of a Spatial Stochastic Process Algebra
    Guenther, Marcel C.
    Bradley, Jeremy T.
    [J]. COMPUTER PERFORMANCE ENGINEERING, 2011, 6977 : 87 - 101
  • [10] Scalable Differential Analysis of Process Algebra Models
    Tribastone, Mirco
    Gilmore, Stephen
    Hillston, Jane
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012, 38 (01) : 205 - 219
12345