Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_5e66e03eb5e0bea7267b0bd21dd37929, 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 model-prover for constrained dynamic conversations
Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito.
iiWAS. Gabriele Kotsis, David Taniar, Eric Pardede, Ismail Khalil Ibrahim (Eds.). pp. 630-633. ACM. 2008.

@PROCEEDINGS{DBLP:conf/iiwas/2008,
  title = {{A model-prover for constrained dynamic conversations}},
  author = {Cacciagrano, Diletta and Corradini, Flavio and Culmone, Rosario and Tesei, Luca and Vito, Leonardo},
  booktitle = {iiWAS},
  editor = {Gabriele Kotsis and  David Taniar and  Eric Pardede and  Ismail Khalil Ibrahim},
  pages = {630-633},
  publisher = {ACM},
  year = {2008},
}

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