1 | -- | 2 | Alessandro Aldini, Franck van Breugel. Preface |
3 | -- | 25 | Ashok Argent-Katwala, Jeremy T. Bradley. PEPA Queues: Capturing Customer Behaviour in Queueing Networks |
27 | -- | 42 | Luca Bortolussi, Alberto Policriti. Stochastic Concurrent Constraint Programming and Differential Equations |
43 | -- | 58 | Vincenzo Ciancia, Gian Luigi Ferrari. Co-Algebraic Models for Quantitative Spatial Logics |
59 | -- | 77 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky. On Probabilistic Techniques for Data Flow Analysis |
79 | -- | 94 | Tom Chothia, Jun Pang, Muhammad Torabi Dashti. Keeping Secrets in Resource Aware Components |
95 | -- | 110 | Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou. Exogenous Probabilistic Computation Tree Logic |
111 | -- | 127 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini. Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming |
129 | -- | 145 | Michael J. A. Smith. Stochastic Modelling of Communication Protocols from Source Code |
147 | -- | 166 | Daniele Varacca, Nobuko Yoshida. Probabilistic pi-Calculus and Event Structures |
167 | -- | 183 | Gagarine Yaikhom, Murray Cole, Stephen Gilmore, Jane Hillston. A Structural Approach for Modelling Performance of Systems Using Skeletons |
185 | -- | 203 | Yuxin Deng, Wenjie Du. Probabilistic Barbed Congruence |