Login / Signup

On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs.

Louis E. RosierHsu-Chun Yen
Published in: ICALP (1986)
Keyphrases