Antonio Cerone, Alessandra Di Pierro
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages
QAPL, 2005.

@proceedings{QAPL-2004,
	editor        = "Antonio Cerone and Alessandra Di Pierro",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	title         = "{Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages}",
	volume        = 112,
	year          = 2005,
}

Contents (10 items)

3 ×#protocol
2 ×#analysis
2 ×#probability

QAPL-2004-HankinW05 #program analysis #λ-calculus

λ-calculus and Quantitative Program Analysis: (CH, HW), pp. 5–18.

QAPL-2004-AlpuenteGPV05 #model checking #source code

Abstract Model Checking of tccp programs (MA, MdMG, EP, AV), pp. 19–36.

QAPL-2004-Lluch-LafuenteM05 #calculus #constraints

Quantitative ?-calculus and CTL Based on Constraint Semirings (ALL, UM), pp. 37–59.

QAPL-2004-Huth05 #abstraction #hybrid #logic

Abstraction and Probabilities for Hybrid Logics (MH), pp. 61–76.

QAPL-2004-Tuosto05 #communication #named

Tarzan: Communicating and Moving in Wireless Jungles (ET), pp. 77–94.

QAPL-2004-HurdMM05 #probability

Probabilistic Guarded Commands Mechanized in HOL (JH, AM, CM), pp. 95–111.

QAPL-2004-LanotteMT05 #analysis #automation #protocol

Automatic Analysis of a Non-Repudiation Protocol (RL, AMS, AT), pp. 113–129.

QAPL-2004-AldiniP05 #analysis #on the #probability #protocol

On Quantitative Analysis of Probabilistic Protocols (AA, ADP), pp. 131–148.

QAPL-2004-ClarkHM05 #quantifier

Quantified Interference for a While Language (DC, SH, PM), pp. 149–166.

QAPL-2004-BodeiCDBNNP05 #evaluation #performance #protocol #security

Performance Evaluation of Security Protocols Specified in LySa (CB, MC, PD, MB, FN, HRN, CP), pp. 167–189.