Performance analysis of probabilistic action systems

Stefan Hallerstede, Michael J. Butler. Performance analysis of probabilistic action systems. Formal Asp. Comput., 16(4):313-331, 2004. [doi]

Abstract

Abstract is missing.