A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours (1993)

Cached

Download Links

by R.J. van Glabbeek
Venue:In Proc. MFCS’93, LNCS 711
Citations:26 - 2 self