| 489 | -- | 491 | Stephen Gilmore, Jane Hillston. Process Algebras and their Application to Performance Modelling: Proceedings of the Third Workshop on Process Algebra and Performance Modelling Edinburgh, Scotland |
| 492 | -- | 509 | Marco Bernardo, Nadia Busi, Roberto Gorrieri. A Distributed Semantics for EMPA Based on Stochastic Contextual Nets |
| 510 | -- | 520 | Peter G. Harrison, Jane Hillston. Exploiting Quasi-reversible Structures in Markovian Process Algebra Models |
| 521 | -- | 529 | Boudewijn R. Haverkort. In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models |
| 530 | -- | 541 | Holger Hermanns, Michael Rettelbach, Thorsten Weiss. Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching |
| 542 | -- | 551 | D. R. W. Holton. A PEPA Specification of an Industrial Production Cell |
| 552 | -- | 565 | Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella. A Stochastic Causality-Based Process Algebra |
| 566 | -- | 577 | Jane Hillston, Vassilis Mertsiotakis. A Simple Time Scale Decomposition Technique for Stochastic Process Algebras |
| 578 | -- | 589 | Corrado Priami. Stochastic pi-Calculus |
| 590 | -- | 599 | Michael Rettelbach. Probabilistic Branching in Markovian Process Algebras |
| 600 | -- | 611 | Marina Ribaudo. On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras |
| 612 | -- | 621 | Isabel Rojas. Compositional Construction of SWN models |
| 622 | -- | 632 | Matteo Sereno. Towards a Product Form Solution for Stochastic Process Algebras |