The Distributed Analysis of Large Markov Models

By William J. Knottenbelt
Department of Computing, 180 Queens Gate, South Kensington, London, SW7 2BZ

Correctness
Performance
The focus of concurrent system research
Engineers are often required to design and implement complex large-scale concurrent systems. Any failure to ensure that these systems function correctly and adhere to minimum performance standards can have disastrous consequences.

[ Home | Previous | Next ]