Proceedings of the Seventh Workshop on Quantitative Aspects of Programming Languages
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
no DBLP info
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.