LSC Language Reference
From WeizmannWiki
LSC Specification
An LSC specification is a finite set of live sequence charts.
Step and Superstep
The execution of a message event and all the hidden events that follow it is considered a step. In the context of execution, some events are driven by the user, while others are triggered by the system. Following a user action, PlayGo can execute a superstep – a sequence of steps that terminates when the next event is an environment event or a user action, or when the entire system’s execution is terminated.
