van GlabbeekRob

Symmetric and Asymmetric Asynchronous Interaction

van GlabbeekRob, GoltzUrsula, SchickeJens-Wolfhard, 2009 .

Refinement of actions and equivalence notions for concurrent systems

van GlabbeekRob, GoltzUrsula, 2001 .