Home

R._J._Van__Glabbeek


A complete axiomatization for branching bisimulation congruence of finite-state behaviours

The meaning of negative premises in transition system specifications II