Luca Bortolussi, Herbert Wiklicky
Proceedings of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems
QAPL, 2013.

@proceedings{QAPL-2013,
	address       = "Rome, Italy",
	doi           = "10.4204/EPTCS.117",
	editor        = "Luca Bortolussi and Herbert Wiklicky",
	series        = "{EPTCS}",
	title         = "{Proceedings of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems}",
	volume        = 117,
	year          = 2013,
}

Contents (9 items)

4 ×#probability
2 ×#concurrent
2 ×#game studies

QAPL-2013-GazeauMP #difference #privacy #semantics

Preserving differential privacy under finite-precision semantics (IG, DM, CP), pp. 1–18.

QAPL-2013-Tranquilli

Indexed Labels for Loop Iteration Dependent Costs (PT), pp. 19–33.

QAPL-2013-NgoH #analysis #concurrent #multi #security #source code #thread

Quantitative Security Analysis for Multi-threaded Programs (TMN, MH), pp. 34–48.

QAPL-2013-Schuppan #ltl #satisfiability

Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance (VS), pp. 49–65.

QAPL-2013-HanKKG #probability #specification

Modal Specifications for Probabilistic Timed Systems (TH, CK, MZK, HG), pp. 66–80.

QAPL-2013-BernardoNL #behaviour #nondeterminism #probability #process

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 81–96.

QAPL-2013-McIverRS #algebra #concurrent #probability

Probabilistic Concurrent Kleene Algebra (AM, TMR, GS), pp. 97–115.

QAPL-2013-BertrandS #automaton #game studies #infinity #probability

Solving Stochastic Büchi Games on Infinite Decisive Arenas (NB, PS), pp. 116–131.

QAPL-2013-ArulR #complexity #game studies #integer

The Complexity of Robot Games on the Integer Line (AA, JR), pp. 132–148.