Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_41373160b389551c4349a9295bc1ab2a, 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
Read Operators and their Expressiveness in Process Algebras
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler.
EXPRESS. Bas Luttik, Frank Valencia (Eds.). pp. 31-43. EPTCS vol. 64. 2011.

@PROCEEDINGS{DBLP:journals/corr/abs-1108-4077,
  title = {{Read Operators and their Expressiveness in Process Algebras}},
  author = {Corradini, Flavio and Berardini, Maria Rita Di and Vogler, Walter},
  booktitle = {EXPRESS},
  editor = {Bas Luttik and  Frank Valencia},
  pages = {31-43},
  series = {EPTCS},
  volume = {64},
  year = {2011},
}

Warning: Unknown: open(/var/lib/php5/sess_41373160b389551c4349a9295bc1ab2a, 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