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

DOI: 10.1007/978-3-540-68894-5

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

  • 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