EMSO

EMSO-definability of some languages with event structures