Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
Advanced Lectures of the Eighth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Computational Systems Biology
SFM, 2008.

@proceedings{SFM-2008,
	address       = "Bertinoro, Italy",
	editor        = "Marco Bernardo and Pierpaolo Degano and Gianluigi Zavattaro",
	isbn          = "978-3-540-68892-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Advanced Lectures of the Eighth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Computational Systems Biology}",
	volume        = 5016,
	year          = 2008,
}

Event page: http://www.sti.uniurb.it/events/sfm08bio/

Contents (14 items)

6 ×#biology
3 ×#modelling
2 ×#calculus
2 ×#probability
2 ×#process

SFM-2008-DegasperiG #analysis #modelling #probability

Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions (AD, SG), pp. 1–20.

SFM-2008-Talcott #logic

Pathway Logic (CLT), pp. 21–53.

SFM-2008-FagesS #biology

Formal Cell Biology in Biocham (FF, SS), pp. 54–80.

SFM-2008-MausJRU #biology #modelling

Hierarchical Modeling for Computational Biology (CM, MJ, MR, AMU), pp. 81–124.

SFM-2008-Gillespie #biology #simulation

Simulation Methods in Systems Biology (DTG), pp. 125–167.

SFM-2008-PaunR #case study #framework #modelling

Membrane Computing as a Modeling Framework. Cellular Systems Case Studies (GP, FJRC), pp. 168–214.

SFM-2008-HeinerGD #biology #petri net

Petri Nets for Systems and Synthetic Biology (MH, DRG, RD), pp. 215–264.

SFM-2008-CiocchettaH #algebra #biology #process

Process Algebras in Systems Biology (FC, JH), pp. 265–312.

SFM-2008-DemattePR #tutorial

The BlenX Language: A Tutorial (LD, CP, AR), pp. 313–365.

SFM-2008-ChiarugiDKM #approach

Cells in Silico: A Holistic Approach (DC, PD, JBVK, RM), pp. 366–386.

SFM-2008-BarbutiCMMP #calculus #sequence

The Calculus of Looping Sequences (RB, GC, AMS, PM, GP), pp. 387–423.

SFM-2008-BortolussiP #biology #hybrid

Hybrid Systems and Biology (LB, AP), pp. 424–448.

SFM-2008-VersariG #calculus #implementation #process

pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi (CV, RG), pp. 449–506.

SFM-2008-Zavattaro #automaton #probability

A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form (GZ), pp. 507–523.