Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report)

Lengál, Ondrej and Lin, Anthony W. and Majumdar, Rupak and Rümmer, Philipp
(2017) Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report).
CoRR, abs/17.

Full text not available from this repository.
Official URL: http://arxiv.org/abs/1710.10756

Actions

Actions (login required)

View Item View Item