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

@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)

6 ×#probability
4 ×#modelling
2 ×#constraints
2 ×#logic
2 ×#using

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.