Proceedings of the Fifth 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

Alessandro Aldini, Franck van Breugel
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages
QAPL, 2007.

PLT
no DBLP info
Scholar
Full names Links ISxN
@proceedings{QAPL-2007,
	editor        = "Alessandro Aldini and Franck van Breugel",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	number        = 3,
	title         = "{Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages}",
	volume        = 190,
	year          = 2007,
}

Contents (11 items)

QAPL-2007-Argent-KatwalaB #behaviour #network
PEPA Queues: Capturing Customer Behaviour in Queueing Networks (AAK, JTB), pp. 3–25.
QAPL-2007-BortolussiP #concurrent #constraints #difference #equation #probability #programming
Stochastic Concurrent Constraint Programming and Differential Equations (LB, AP), pp. 27–42.
QAPL-2007-CianciaF #algebra #logic #modelling
Co-Algebraic Models for Quantitative Spatial Logics (VC, GLF), pp. 43–58.
QAPL-2007-PierroHW #analysis #data flow #on the #probability
On Probabilistic Techniques for Data Flow Analysis (ADP, CH, HW), pp. 59–77.
QAPL-2007-ChothiaPD #component
Keeping Secrets in Resource Aware Components (TC, JP, MTD), pp. 79–94.
QAPL-2007-BaltazarMNP #logic #probability
Exogenous Probabilistic Computation Tree Logic (PB, PM, RN, NP), pp. 95–110.
QAPL-2007-BistarelliMRS #constraints #graph #logic programming #modelling #multi #using
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming (SB, UM, FR, FS), pp. 111–127.
QAPL-2007-Smith #communication #modelling #probability #protocol #source code
Stochastic Modelling of Communication Protocols from Source Code (MJAS), pp. 129–145.
QAPL-2007-VaraccaY #probability #π-calculus
Probabilistic π-Calculus and Event Structures (DV, NY), pp. 147–166.
QAPL-2007-YaikhomCGH #approach #modelling #performance #using
A Structural Approach for Modelling Performance of Systems Using Skeletons (GY, MC, SG, JH), pp. 167–183.
QAPL-2007-DengD #congruence #probability
Probabilistic Barbed Congruence (YD, WD), pp. 185–203.

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.