Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_8cc9a1c87f10a42ebd321d0230308781, O_RDWR) failed: Read-only file system (30) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: session_start() [function.session-start]: Cannot send session cookie - headers already sent by (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: session_start() [function.session-start]: Cannot send session cache limiter - headers already sent (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: Cannot modify header information - headers already sent by (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/header.php on line 2
CoSy Bibliography
A Shape Calculus for Biological Processes
Ezio Bartocci, Maria Rita Di Berardini, Flavio Corradini, Merelli Emanuela, Luca Tesei.
11th Italian Conference on Theoretical Computer Science. pp. 30-33. 2009.

@INPROCEEDINGS{,
  title = {{A Shape Calculus for Biological Processes}},
  author = {Bartocci, Ezio and Berardini, Maria Rita Di and Corradini, Flavio and Emanuela, Merelli and Tesei, Luca},
  booktitle = {11th Italian Conference on Theoretical Computer Science},
  pages = {30-33},
  year = {2009},
}

Warning: Unknown: open(/var/lib/php5/sess_8cc9a1c87f10a42ebd321d0230308781, O_RDWR) failed: Read-only file system (30) in Unknown on line 0

Warning: Unknown: Failed to write session data (files). Please verify that the current setting of session.save_path is correct (/var/lib/php5) in Unknown on line 0