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

  • Editors
  • Marco Bernardo
  • Pierpaolo Degano
  • Gianluigi Zavattaro
Conference proceedings SFM 2008

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

Table of contents

  1. Front Matter
  2. Regular Lectures

    1. Carolyn Talcott
      Pages 21-53
    2. François Fages, Sylvain Soliman
      Pages 54-80
    3. Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher
      Pages 81-124
    4. Daniel T. Gillespie
      Pages 125-167
    5. Gheorghe Păun, Francisco José Romero-Campero
      Pages 168-214
    6. Monika Heiner, David Gilbert, Robin Donaldson
      Pages 215-264
    7. Federica Ciocchetta, Jane Hillston
      Pages 265-312
    8. Lorenzo Dematté, Corrado Priami, Alessandro Romanel
      Pages 313-365
  3. BISCA Talks

    1. Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni
      Pages 366-386
    2. Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo, Giovanni Pardini
      Pages 387-423
    3. Luca Bortolussi, Alberto Policriti
      Pages 424-448
  4. Back Matter

About these proceedings

Keywords

In silico automata brane calculi design formal methods hierarchical models logic model components modeling multi-level modeling pathway logic performance analysis performance mode petri net verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-68894-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-68892-1
  • Online ISBN 978-3-540-68894-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book