Proceedings of the 12th International Workshop on Quantitative Aspects of Programming Languages and Systems
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

Nathalie Bertrand, Luca Bortolussi
Proceedings of the 12th International Workshop on Quantitative Aspects of Programming Languages and Systems
QAPL, 2014.

PLT
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{QAPL-2014,
	address       = "Grenoble, France",
	doi           = "10.4204/EPTCS.154",
	editor        = "Nathalie Bertrand and Luca Bortolussi",
	series        = "{EPTCS}",
	title         = "{Proceedings of the 12th International Workshop on Quantitative Aspects of Programming Languages and Systems}",
	volume        = 154,
	year          = 2014,
}

Contents (7 items)

QAPL-2014-LatellaLMS #communication
Stochastically timed predicate-based communication primitives for autonomic computing (DL, ML, MM, VS), pp. 1–16.
QAPL-2014-MiculanP #aspect-oriented #nondeterminism #process
GSOS for non-deterministic processes with quantitative aspects (MM, MP), pp. 17–33.
QAPL-2014-TschaikowskiT #algebra #biology #difference #performance #process
Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.
QAPL-2014-BraitlingFHWBH #abstraction #automaton #game studies #markov #named #refinement
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 48–63.
QAPL-2014-Feng #distributed #hybrid #modelling #probability #using
Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE — ZebraNet as an Example (CF0), pp. 64–77.
QAPL-2014-KempfLM #design #formal method #manycore
Formal and Informal Methods for Multi-Core Design Space Exploration (JFK, OL, OM), pp. 78–92.
QAPL-2014-SpielerHZ #markov #model checking #modelling
Model Checking CSL for Markov Population Models (DS, EMH, LZ), pp. 93–107.

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.