Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_521561e3ab74da6ec0ff7ff1a9286235, 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
An Equational Axiomatization of Bisimulation over Regular Expressions.
Rocco De Nicola, Anna Labella, Flavio Corradini.
J. Log. Comput.. pp. 301-320. vol. 12 no. 2. 2002.

@ARTICLE{NLC02,
  title = {{An Equational Axiomatization of Bisimulation over Regular Expressions.}},
  author = {Nicola, Rocco De and Labella, Anna and Corradini, Flavio},
  journal = {J. Log. Comput.},
  pages = {301-320},
  volume = {12},
  number = {2},
  year = {2002},
}

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