Report copyright - Guarded Transition Systems: a new States/Events Formalism for ... · Boolean expressions (conjunction, disjunction…). Assignments can be naturally extended into Assignments can
Please pass captcha verification before submit form
Please pass captcha verification before submit form