搜索页_Stochastic+process+calculi

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Elsevier电子期刊(17)

在“Elsevier电子期刊”中，命中：17条，耗时：0.0939509 秒

在所有数据库中总计命中：32条

1.Stochastic simulation of multiple process calculi for biology

作者：Matthew R. Lakin^a ; ^b ; ^{mlakin@cs.unm.edu} ; Loï ; c Paulevé ; ^c ; ^d ; ^{pauleve@lix.polytechnique.fr} ; Andrew Phillips^a ; ^{andrew.phillips@microsoft.com}

关键词：Generic abstract machine ; Stochastic simulation ; Pi-calculus ; Bioambient calculus ; Kappa calculus ; Correctness ; Implementation

刊名：Theoretical Computer Science

出版年：2012

2.From Biochemistry to Stochastic Processes

作者：Cosimo Laneve ; Sylvain Pradalier ; Gianluigi Zavattaro

关键词：Stochastic process calculi ; systems biology ; encoding from reactive to process-oriented formalisms

刊名：Electronic Notes in Theoretical Computer Science

出版年：2009

3.Simulation techniques for the calculus of wrapped compartments

作者：Mario Coppo^a ; Ferruccio Damiani^a ; Maurizio Drocco^a ; Elena Grassi^b ; Eva Sciacca^a ; Salvatore Spinella^a ; Angelo Troina^a ; ^{troina@di.unito.it} ; ^{troina@lix.polytechnique.fr}

关键词：Term rewriting systems ; Stochastic/deterministic simulation methods ; Hybrid simulation ; Biochemical systems

刊名：Theoretical Computer Science

出版年：2012

4.Synapses as stochastic concurrent systems

作者：Andrea Bracciali ; Marcello Brunelli ; Enrico Cataldo ; Pierpaolo Degano

关键词：Systems biology ; Process calculi ; Executable models ; Stochastic simulations ; Calyx of Held ; Short-term synaptic plasticity

刊名：Theoretical Computer Science

出版年：2008

5.MarCaSPiS

作者：Rocco De Nicola ; Diego Latella ; Michele Loreti ; Mieke Massink

关键词：Calculi for Service Oriented Computing ; Quantitative Analysis of Systems ; Stochastic Process Algebras

刊名：Electronic Notes in Theoretical Computer Science

出版年：2009

6.Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes

作者：Cristian Versari ; Nadia Busi

关键词：stochastic simulation ; π ; -Calculus ; process calculi

刊名：Electronic Notes in Theoretical Computer Science

出版年：2008

7.: A calculus for the modeling and simulation of nano devices

作者：A. Credi ; M. Garavelli ; C. Laneve ; S. Pradalier ; S. Silvi ; G. Zavattaro

关键词：Markovian process calculi ; Molecular machine ; Rotaxane ; Stochastic simulation

刊名：Theoretical Computer Science

出版年：2008

8.Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time

作者：Mario Bravetti

关键词：CCS ; Weak bisimulation ; Action refinement ; Maximal Progress ; Timed actions

刊名：Electronic Notes in Theoretical Computer Science

出版年：2008

9.Evolving BlenX

作者：L. Dematté ; C. Priami ; A. Romanel ; O. Soyer

关键词：Evolution ; Process calculi ; Evolutionary algorithms ; Stochastic simulation

刊名：Theoretical Computer Science

出版年：2008

10.Modelling of Biochemical Reactions by Stochastic Automata Networks

作者：Verena Wolf

关键词：Biochemical Reactions ; Stochastic Automata Networks ; Markov Chain

刊名：Electronic Notes in Theoretical Computer Science

出版年：2007

按检索点细分(17)

题名(1)

关键词(6)

文摘(14)

按出版年细分(17)

2012年(2)

2009年(2)

2008年(5)

2007年(2)

2006年(2)

2005年(1)

2002年(2)

2000年及以前(1)