Domain Equations for Probabilistic Processes (1997)

by Christel Baier , Marta Kwiatkowska
Venue:In Proc. Express'97. Electronic Notes in Theoretical Computer Science 7
Citations:16 - 1 self