A Stochastic Pi Calculus for Concurrent Objects

机译：并发对象的随机Pi演算

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile concurrent objects with static inheritance. We present a semantics for SpiCO in terms of continuous time Markov chains, and show how to compile SpiCO back into the biochemical stochastic π-calculus while preserving semantics.

机译：我们介绍了SpiCO，这是一种用于系统生物学的新型建模和仿真语言。 SpiCO基于随机π演算。它通过具有静态继承的多配置文件并发对象支持更高级别的建模。我们从连续时间马尔可夫链的角度介绍了SpiCO的语义，并展示了如何在保留语义的同时将SpiCO编译回生化随机π演算中。

著录项

来源
《International Conference on Algebraic Biology(AB 2007); 20070702-04; Castle of Hagenberg(AT)》|2007年|P.232-246|共15页
会议地点 Castle of Hagenberg(AT)
作者
Celine Kuttler; Cedric Lhoussaine; Joachim Niehren;
展开▼
作者单位

The Microsoft Research - University of Trento Centre for Computational and Systems Biology, Italy;

University of Lille 1, LIFL, Lille, France;

INRIA Futurs, Lille, France, Mostrare project;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类代数、数论、组合理论;生物工程学（生物技术）;
关键词

相似文献

外文文献
中文文献
专利

1. A control-flow analysis for a calculus of concurrent objects [J] . di Blasio P., Fisher K. IEEE Transactions on Software Engineering . 2000,第7期

机译：并发对象演算的控制流分析
2. A control-flow analysis for a calculus of concurrent objects [J] . di Blasio P., Fisher K., Talcott C. IEEE Transactions on Software Engineering . 2000,第7期

机译：并发对象演算的控制流分析
3. A concurrent constraint and pi-calculus-based language for service contracting [J] . Ruoyu Chen, Lejian Liao, Zhi Fang International journal of wireless and mobile computing . 2013,第6期

机译：用于服务签约的并发约束和基于pi演算的语言
4. A Stochastic Pi Calculus for Concurrent Objects [C] . Céline Kuttler, Cédric Lhoussaine, Joachim Niehren International Conference on Algebraic Biology . 2007

机译：用于并发对象的随机PI微积分
5. A pi-calculus model of concurrent object-oriented communication . [D] . Leonard, Elizabeth Inez. 2000

机译：并发面向对象通信的pi演算模型。
6. Stochastic models for objects and images in oncology and virology: application to PI3K-Akt-mTOR signaling and COVID-19 disease [O] . Harrison H. Barrett, Luca Caucci 2021

机译：肿瘤和病毒学对象和图像的随机模型：应用于PI3K-AKT-MTOR信号传导和Covid-19疾病的应用
7. A Stochastic Pi Calculus for Concurrent Objects [O] . Joachim Niehren 2015

机译：并行对象的随机pi演算

A Stochastic Pi Calculus for Concurrent Objects

摘要

著录项

相似文献

相关主题

期刊订阅