Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 / [electronic resource] :
edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro.
- 1st ed. 2008.
- X, 527 p. online resource.
- Programming and Software Engineering, 5016 2945-9168 ; .
- Programming and Software Engineering, 5016 .
Regular Lectures -- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions -- Pathway Logic -- Formal Cell Biology in Biocham -- Hierarchical Modeling for Computational Biology -- Simulation Methods in Systems Biology -- Membrane Computing as a Modeling Framework. Cellular Systems Case Studies -- Petri Nets for Systems and Synthetic Biology -- Process Algebras in Systems Biology -- The BlenX Language: A Tutorial -- BISCA Talks -- Cells in Silico: A Holistic Approach -- The Calculus of Looping Sequences -- Hybrid Systems and Biology -- ?@: A ?-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi -- A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form.
9783540688945
10.1007/978-3-540-68894-5 doi
Software engineering.
Compilers (Computer programs).
Computer science.
Computers, Special purpose.
Computer networks .
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
QA76.758
005.1
Regular Lectures -- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions -- Pathway Logic -- Formal Cell Biology in Biocham -- Hierarchical Modeling for Computational Biology -- Simulation Methods in Systems Biology -- Membrane Computing as a Modeling Framework. Cellular Systems Case Studies -- Petri Nets for Systems and Synthetic Biology -- Process Algebras in Systems Biology -- The BlenX Language: A Tutorial -- BISCA Talks -- Cells in Silico: A Holistic Approach -- The Calculus of Looping Sequences -- Hybrid Systems and Biology -- ?@: A ?-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi -- A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form.
9783540688945
10.1007/978-3-540-68894-5 doi
Software engineering.
Compilers (Computer programs).
Computer science.
Computers, Special purpose.
Computer networks .
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
QA76.758
005.1