Terms Used in this documentation

Scenario-Based Programming

Todo

explain

Behavioral Programming

Todo

explain

b-program

Todo

explain

b-thread

Todo

explain

Trace

The sequence of events selected by a b-program during its execution. To executions are considered equivalent if (and only if) they have equal traces.