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 : advanced lectures / / Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

• Record Nr.: UNINA9910483251403321
• Pubbl/distr/stampa: Berlin ; ; New York, : Springer, 2008
• ISBN: 3-540-68894-3
• Edizione: [1st ed. 2008.]
• Descrizione fisica: 1 online resource (X, 527 p.)
• Collana: Lecture notes in computer science, , 0302-9743 ; ; 5016; LNCS sublibrary. SL 2, Programming and software engineering
• Altri autori (Persone): BernardoMarco; DeganoPierpaolo <1950->; ZavattaroGianluigi
• Disciplina: 005.1
• Soggetti: Formal methods (Computer science); Integrated circuits - Verification
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Lectures.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.