Volume 112, January 2005

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004)

• 
  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