Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters

Volumn 80, Issue 1, 2001, Pages 25-31

  Priami, Corrado ^a   Regev, Aviv ^b,c   Shapiro, Ehud ^b   Silverman, William ^b  

^a UNIVERSITY OF VERONA   (Italy)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^c TEL AVIV UNIVERSITY   (Israel)

Author keywords

Bioinformatics; Stochastic calculus; Stochastic simulation

Indexed keywords

BIOCHEMISTRY; COMPUTER SIMULATION; MOLECULAR DYNAMICS; PROBABILITY; RANDOM PROCESSES; SEMANTICS;

BIOCHEMICAL REACTIONS; MOLECULAR PROCESSES;

INFORMATION ANALYSIS;

EID: 0035888407     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(01)00214-9     Document Type: Article

References (17)

1. Circadian clocks limited by noise
2. A formal approach to the integration of performance aspects in the modelling and analysis of concurrent systems
3. On a Markovian process algebra
4. An algebraic approach to the specification of stochastic systems
5. Performance modelling and verification of cache coherency protocols
6. Exact stochastic simulation of coupled chemical reactions
7. Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras
8. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets
9. A calculus of mobile processes (I and II)
10. PICT: A programming language based on the pi-calculus
11. Stochastic π-calculus
12. Representing biomolecular processes with computer process algebra: π-calculus programs of signal transduction pathways
13. Concurrent Prolog: A progress report
14. Concurrent Prolog