113 citations · 317 across the 70 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
cs.LO2008★ 14 cited
Approximating a Behavioural Pseudometric without Discount for<br> Probabilistic Systems
Franck van Breugel, Babita Sharma, James Worrell
Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue…
cs.IT2008★ 4 cited
On Termination for Faulty Channel Machines
Patricia Bouyer, Nicolas Markey, Joël Ouaknine +2
A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of…