Branching Bisimulation for Probabilistic Systems: Characteristics and Decidability

Theoretical Computer Science - Netherlands
doi 10.1016/j.tcs.2006.02.010
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV