Electronic Notes in Theoretical Computer Science, Volume 112

Volume 112, January 2005

• Antonio Cerone, Alessandra Di Pierro:
  Preface. 1-3
  Electronic Edition (link) BibTeX
• Chris Hankin, Herbert Wiklicky:
  lambda-calculus and Quantitative Program Analysis: (Extended Abstract). 5-18
  Electronic Edition (link) BibTeX
• María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva:
  Abstract Model Checking of tccp programs. 19-36
  Electronic Edition (link) BibTeX
• Alberto Lluch-Lafuente, Ugo Montanari:
  Quantitative ?-calculus and CTL Based on Constraint Semirings. 37-59
  Electronic Edition (link) BibTeX
• Michael Huth:
  Abstraction and Probabilities for Hybrid Logics. 61-76
  Electronic Edition (link) BibTeX
• Emilio Tuosto:
  Tarzan: Communicating and Moving in Wireless Jungles. 77-94
  Electronic Edition (link) BibTeX
• Joe Hurd, Annabelle McIver, Carroll Morgan:
  Probabilistic Guarded Commands Mechanized in HOL. 95-111
  Electronic Edition (link) BibTeX
• Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina:
  Automatic Analysis of a Non-Repudiation Protocol. 113-129
  Electronic Edition (link) BibTeX
• Alessandro Aldini, Alessandra Di Pierro:
  On Quantitative Analysis of Probabilistic Protocols. 131-148
  Electronic Edition (link) BibTeX
• David Clark, Sebastian Hunt, Pasquale Malacaria:
  Quantified Interference for a While Language. 149-166
  Electronic Edition (link) BibTeX
• Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami:
  Performance Evaluation of Security Protocols Specified in LySa. 167-189
  Electronic Edition (link) BibTeX