Continuous-Time Probabilistic KLAIM

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky. Continuous-Time Probabilistic KLAIM. Electronic Notes in Theoretical Computer Science, 128(5):27-38, 2005. [doi]

Abstract

Abstract is missing.