↓Skip to main content
  1. Tags/

labeled transitions

MSOS

MSOS (Modular SOS, 1999–2016) is modular variant of SOS (structural operational semantics).