First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders.

Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink

Browse the full TACAS paper archive.