Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_4465a34bbaa44c7175f9f6bf493ac508, 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
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia.
Electr. Notes Theor. Comput. Sci.. pp. 59-84. vol. 194 no. 2. 2008.

@article{DBLP:journals/entcs/CacciagranoCAV08,
  author    = {Diletta Cacciagrano and
               Flavio Corradini and
               Jes{\\\'u}s Aranda and
               Frank D. Valencia},
  title     = {Linearity, Persistence and Testing Semantics in the Asynchronous
               Pi-Calculus},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {194},
  number    = {2},
  year      = {2008},
  pages     = {59-84},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2007.11.006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


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