Application of a stochastic name-passing calculus to representation and...  Home/Search
Context Related
| wisdom.weizmann.ac...astic_calculus.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: wisdom.weizmann.ac.il/~udi/pap... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe a novel application of a stochastic name-passing calculus for the study of biomolecular systems. We specify the structure and dynamics of biochemical networks in a variant of the stochastic #-calculus, yielding a model which is mathematically well-defined and biologically faithful. We adapt the operational semantics of the calculus to account for both the time and probability of biochemical reactions, and present a computer implementation of the calculus for biochemical simulations. ... (Update)
Context of citations to this paper: More
.... of quicksort (for linear arrays and for sequential machines) before 1975, see Sedgewick [101, 102] and [2, 5, 12, 23, 34, 37, 58, 86, 87, 96, 99, 111, 113, 115, 116, 117] after 1975. Description of quicksort. Given a sequence of distinct keys (or elements, numbers, etc....
Cited by: More
Modal Kleene Algebra and Applications - Survey Jules Desharnais (Correct)
Modal Kleene Algebra And Applications - A Survey - Desharnais, Möller, Struth (Correct)
Precise Interprocedural Dependence Analysis of Parallel Programs - Müller-Olm (2004) (Correct)
Active bibliography (related documents): More All
2.1: Information Processing Letters 80 (2001) 25--31 - Application Of Stochastic (1995) (Correct)
0.3: Stability of Hybrid Systems and Related - Questions From Systems (Correct)
0.3: Unknown - (Correct)
Similar documents based on text: More All
0.2: A Compact Representation of Finite State Processes - Degano, Priami (1993) (Correct)
0.2: DEMOS at CONCUR96 - (Ed.) (1996) (Correct)
0.1: Compact Transition Systems - Degano, Priami (Correct)
Related documents from co-citation: More All
4: A Discipline of Programming (context) - Dijkstra - 1976
3: Advanced Compiler Design and Implementation (context) - Muchnick - 1997
3: Flow Analysis of Computer Programs (context) - Hecht - 1977
BibTeX entry: (Update)
Mathematics of Construction Group. Fixed-point calculus. Information Processing Letters 53: 131--136, (1995). http://citeseer.ist.psu.edu/728350.html More
@misc{ construction95information,
author = "M. Construction and G. calculus",
title = "Information Processing Letters",
text = "Mathematics of Construction Group. Fixed-point calculus. Information Processing
Letters 53: 131--136, (1995).",
year = "1995",
url = "citeseer.ist.psu.edu/728350.html" }
Citations (may not include all citations):297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
276 A Compositional Approach to Performance Modelling - Hillston - 1996
200 PICT: A programming language based on the pi-calculus - Pierce, Turner - 1999
93 Multiprocessor and distributed system design: The integratio.. - Goetz, Herzog et al. - 1993
48 Concurrent Prolog: A progress report (context) - Shapiro - 1987
36 Exact stochastic simulation of coupled chemical reactions (context) - Gillespie - 1977
26 a Markovian process algebra - Buchholz - 1994
17 A formal approach to the integration of performance aspects .. - Bernardo, Donatiello et al. - 1998
11 Quantitative modeling of stochastic systems in molecular bio.. (context) - Goss, Peccoud - 1998
9 An algebraic approach to the specification of stochastic sys.. (context) - D'Argenio, Katoen et al. - 1998
7 The Logix System User Manual (context) - Silverman, Hirsch et al. - 1987
3 Representing biomolecular processes with computer process al.. (context) - Regev, Silverman et al. - 2000
3 Circadian clocks limited by noise (context) - Barkai, Leibler - 2000
2 University Chemistry (context) - Mahan, Myers - 1987
2 Performance modelling and verification of cache coherency pr.. (context) - Field, Harrison et al. - 1996
http://www.wisdom.weizmann
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.wisdom.weizmann.ac.il/~udi/papers/): More
The π-Calculus as an Abstraction for Biomolecular Systems - Regev, Shapiro (Correct)
Molecular Computing Machines - Yaakov Benenson Ehud (Correct)
Theoretical Computer Science 325 (2004) 141 -- 167.. - Bioambients An Ion (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC