Skip to main content
Springer Nature Link
Account

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Marco Bernardo
  2. Pierpaolo Degano
  3. Gianluigi Zavattaro

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5016)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SFM 2008.

  • 18k Accesses

  • 15 Citations

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  2. Regular Lectures

    1. Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions

      • Andrea Degasperi, Stephen Gilmore
      Pages 1-20

    2. Pathway Logic

      • Carolyn Talcott
      Pages 21-53

    3. Formal Cell Biology in Biocham

      • François Fages, Sylvain Soliman
      Pages 54-80

    4. Hierarchical Modeling for Computational Biology

      • Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher
      Pages 81-124

    5. Simulation Methods in Systems Biology

      • Daniel T. Gillespie
      Pages 125-167

    6. Membrane Computing as a Modeling Framework. Cellular Systems Case Studies

      • Gheorghe Păun, Francisco José Romero-Campero
      Pages 168-214

    7. Petri Nets for Systems and Synthetic Biology

      • Monika Heiner, David Gilbert, Robin Donaldson
      Pages 215-264

    8. Process Algebras in Systems Biology

      • Federica Ciocchetta, Jane Hillston
      Pages 265-312

    9. The BlenX Language: A Tutorial

      • Lorenzo Dematté, Corrado Priami, Alessandro Romanel
      Pages 313-365

  3. BISCA Talks

    1. Cells in Silico: A Holistic Approach

      • Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni
      Pages 366-386

    2. The Calculus of Looping Sequences

      • Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo, Giovanni Pardini
      Pages 387-423

    3. Hybrid Systems and Biology

      • Luca Bortolussi, Alberto Policriti
      Pages 424-448

    4. π@: A π-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi

      • Cristian Versari, Roberto Gorrieri
      Pages 449-506

    5. A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form

      • Gianluigi Zavattaro
      Pages 507-523

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods for Computational Systems Biology

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Publish with us

Policies and ethics

Back to top