Electronic Notes in Theoretical Computer Science, Volume 112

Volume 112, January 2005

• Antonio Cerone, Alessandra Di Pierro:
  Preface. 1-3
  
• Chris Hankin, Herbert Wiklicky:
  lambda-calculus and Quantitative Program Analysis: (Extended Abstract). 5-18
  
• María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva:
  Abstract Model Checking of tccp programs. 19-36
  
• Alberto Lluch-Lafuente, Ugo Montanari:
  Quantitative ?-calculus and CTL Based on Constraint Semirings. 37-59
  
• Michael Huth:
  Abstraction and Probabilities for Hybrid Logics. 61-76
  
• Emilio Tuosto:
  Tarzan: Communicating and Moving in Wireless Jungles. 77-94
  
• Joe Hurd, Annabelle McIver, Carroll Morgan:
  Probabilistic Guarded Commands Mechanized in HOL. 95-111
  
• Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina:
  Automatic Analysis of a Non-Repudiation Protocol. 113-129
  
• Alessandro Aldini, Alessandra Di Pierro:
  On Quantitative Analysis of Probabilistic Protocols. 131-148
  
• David Clark, Sebastian Hunt, Pasquale Malacaria:
  Quantified Interference for a While Language. 149-166
  
• 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