Published: 26th February 2010
DOI: 10.4204/EPTCS.19
ISSN: 2075-2180

EPTCS 19

Proceedings Third Workshop
From Biology To Concurrency and back
Paphos, Cyprus, 27th March 2010

Edited by: Emanuela Merelli and Paola Quaglia
Preface
Complementary approaches to understanding the plant circadian clock
Ozgur E. Akman, Maria Luisa Guerriero, Laurence Loewe and Carl Troein		1
Flux Analysis in Process Models via Causality
Ozan Kahramanoğulları		20
Modelling and Analysis of Biochemical Signalling Pathway Cross-talk
Robin Donaldson and Muffy Calder		40
Investigating modularity in the analysis of process algebra models of biochemical systems
Federica Ciocchetta, Maria Luisa Guerriero and Jane Hillston		55
A flexible architecture for modeling and simulation of diffusional association
Fiete Haack, Stefan Leye and Adelinde M. Uhrmacher		70
BlenX-based compositional modeling of complex reaction mechanisms
Judit Zámborszky and Corrado Priami		85
Types for BioAmbients
Sara Capecchi and Angelo Troina		103
A Taxonomy of Causality-Based Biological Properties
Chiara Bodei, Andrea Bracciali, Davide Chiarugi and Roberta Gori		116

Preface

This volume contains the papers presented at the 3rd Workshop "From Biology To Concurrency and back", FBTC 2010, held in Paphos, Cyprus, on March 27, 2010, as satellite event of the Joint European Conference on Theory and Practice of Software, ETAPS 2010.

The Workshop aimed at gathering together researchers with special interest at the convergence of life and computer science, with particular focus on the application of techniques and methods from concurrency. The papers contained in this volume present works on modelling, analysis, and validation of biological behaviours using concurrency-inspired methods and platforms, and bio-inspired models and tools for describing distributed interactions. The invited speaker, Alberto Policriti, gave a talk on mixing discrete and continuous modeling in systems biology.

Out of the 15 submitted papers, 8 were accepted for presentation at the Workshop and for publication in this volume. We would like to thank the authors who showed interest in FBTC 2010. We also wish to thank the programme committee: together with the sub-reviewers Ezio Bartocci, Linda Brodo, Alberto Casagrande, Maria Rita Di Berardini, Paola Lecca, Carsten Maus, and Luca Tesei, for their hard work in reviewing the submitted papers.

We are grateful to Alberto Policriti for accepting our invitation, and to George A. Papadopoulos, to Anna Philippou and to the whole Organizing Committee of ETAPS 2010 for their continuous support. We also wish to thank the Editorial Board of EPTCS for publishing these proceedings in their series, and gratefully acknowledge the kind support we had by Rob van Glabbeek in the editing process.

Emanuela Merelli and Paola Quaglia
FBTC 2010, Programme Committee Chairs