Christel Baier, Alessandra Di Pierro
Proceedings of the Seventh Workshop on Quantitative Aspects of Programming Languages
QAPL, 2009.

@proceedings{QAPL-2009,
	editor        = "Christel Baier and Alessandra Di Pierro",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	number        = 3,
	title         = "{Proceedings of the Seventh Workshop on Quantitative Aspects of Programming Languages}",
	volume        = 253,
	year          = 2009,
}

Contents (11 items)

3 ×#probability
2 ×#markov
2 ×#process

QAPL-2009-Bernardo #logic #markov #nondeterminism #probability #process #testing

Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes (MB), pp. 3–23.

QAPL-2009-FahrenbergL09a

Discounting in Time (UF, KGL), pp. 25–31.

QAPL-2009-Aissani #queue

An MX/G/1 Energetic Retrial Queue with Vacations and it’s Control (AA), pp. 33–44.

QAPL-2009-GiroD #distributed #on the #power of #probability

On the Expressive Power of Schedulers in Distributed Probabilistic Systems (SG, PRD), pp. 45–71.

QAPL-2009-DengD #metric #overview

The Kantorovich Metric in Computer Science: A Brief Survey (YD, WD), pp. 73–82.

QAPL-2009-MuraPPR #markov

Exploiting non-Markovian Bio-Processes (IM, DP, CP, AR), pp. 83–98.

QAPL-2009-TafliovichH #communication #programming #quantum

Programming with Quantum Communication (AT, ECRH), pp. 99–118.

QAPL-2009-MuC #abstraction #data flow

An Interval-based Abstraction for Quantifying Information Flow (CM, DC), pp. 119–141.

QAPL-2009-MontaltoC #modelling #reasoning

Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities (BM, CC), pp. 143–165.

QAPL-2009-LanevePZ #probability #process

From Biochemistry to Stochastic Processes (CL, SP, GZ), pp. 167–185.

QAPL-2009-BortolussiV #calculus #named

CoBiC: Context-dependent Bioambient Calculus (LB, MGV), pp. 187–201.