Well-structured transition system

ID: well-structured-transition-system

New to topics? Read the docs here!