A Compositional Approach to Performance Modelling (1996)

Cached

Download Links

by Jane Hillston
Citations:648 - 93 self

Documents Related by Co-Citation

3430 Communication and Concurrency – R Milner - 1989
634 Introduction to the Numerical Solution of Markov Chains – W J Stewart - 1994
857 Finite Markov Chains – J G Kemeny, J L Snell - 1960
429 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
100 Verifying Continuous Time Markov Chains – Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert Brayton - 1996
137 Approximate symbolic model checking of continuous-time Markov chains (Extended Abstract) – Christel Baier, Joost-pieter Katoen, Holger Hermanns - 1999
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
161 The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling – Stephen Gilmore, Jane Hillston - 1994
1373 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981