Skip to main content
Side panel
RISC
You are currently using guest access (
Log in
)
Algebraic and Discrete Methods in Biology (SS 2008)
Home
Courses
Previous Years
SS 2008
AlgBio08
Topic 6
Regev et al: "Representation and simulation of biochemical processes using the pi-calculus process algebra"
Regev et al: "Representation and simulation of biochemical processes using the pi-calculus process algebra"
Click
regev_psb.pdf
link to view the file.
◄ Stochastic Pi-Machine (SPiM)
Jump to...
Jump to...
News forum
Unterlagen zu Groebner Basen
Originalliteratur zu ROC Kurven
Heuristische LÃ¶sung des htSNPs Problems
Slides. Part 1. Rewriting Logic and Maude
Slides. Part 2. Pathway Logic
Computational Systems Biology
BioSPi project
Stochastic Pi-Machine (SPiM)
Probabilistic Symbolic Model Checker (PRISM)
Heat et al: "Probabilistic model checking of complex biological pathways"
Probabilistic Symbolic Model Checker (PRISM) ►
AlgBio08
General
Topic 1
Topic 2
Topic 4
Topic 5
Topic 6
Topic 7
Home
Calendar