Enhanced operational semantics in systems biology

被引：0
|
作者：
Degano, P
Priami, C
机构：
[1] Univ Pisa, Dipartimento Informat, I-56127 Pisa, Italy
[2] Univ Trent, Dipartimento Informat & Telecomunicaz, I-1438050 Povo, TN, Italy
来源：
COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, PROCEEDINGS | 2003年 / 2602卷
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
引用
收藏
页码：178 / 181
页数：4
相关论文
共 50 条
  • [1] Enhanced operational semantics
    Degano, P
    Priami, C
    [J]. ACM COMPUTING SURVEYS, 1996, 28 (02) : 352 - 354
  • [2] Enhanced operational semantics: A tool for describing and analyzing concurrent systems
    Degano, P
    Priami, C
    [J]. ACM COMPUTING SURVEYS, 2001, 33 (02) : 135 - 176
  • [3] Enhanced Operational Semantics for Concurrency
    [J]. Bulletin of the European Association for Theoretical Computer Science, (59):
  • [4] Operational semantics of hybrid systems
    Lee, EA
    Zheng, HY
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2005, 3414 : 25 - 53
  • [5] An operational semantics for a calculus for wireless systems
    Lanese, Ivan
    Sangiorgi, Davide
    [J]. THEORETICAL COMPUTER SCIENCE, 2010, 411 (19) : 1928 - 1948
  • [6] Situated legal systems and their operational semantics
    da Rocha Costa, Antonio Carlos
    [J]. ARTIFICIAL INTELLIGENCE AND LAW, 2015, 23 (01) : 43 - 102
  • [7] Structural operational semantics of P systems
    Andrei, O
    Ciobanu, G
    Lucanu, D
    [J]. MEMBRANE COMPUTING, 2006, 3850 : 31 - 48
  • [8] On the operational semantics of timed rewrite systems
    Blanc, J
    Echahed, R
    [J]. NINTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2002, : 10 - 17
  • [9] Controlled vocabularies and semantics in systems biology
    Courtot, Melanie
    Juty, Nick
    Knuepfer, Christian
    Waltemath, Dagmar
    Zhukova, Anna
    Draeger, Andreas
    Dumontier, Michel
    Finney, Andrew
    Golebiewski, Martin
    Hastings, Janna
    Hoops, Stefan
    Keating, Sarah
    Kell, Douglas B.
    Kerrien, Samuel
    Lawson, James
    Lister, Allyson
    Lu, James
    Machne, Rainer
    Mendes, Pedro
    Pocock, Matthew
    Rodriguez, Nicolas
    Villeger, Alice
    Wilkinson, Darren J.
    Wimalaratne, Sarala
    Laibe, Camille
    Hucka, Michael
    Le Novere, Nicolas
    [J]. MOLECULAR SYSTEMS BIOLOGY, 2011, 7
  • [10] Operational Semantics for the Rigorous Analysis of Distributed Systems
    Al-Mahfoudh, Mohammed S.
    Gopalakrishnan, Ganesh
    Stutsman, Ryan
    [J]. QUALITY SOFTWARE THROUGH REUSE AND INTEGRATION, 2018, 561 : 209 - 231
12345