Operators

• PARALLEL

  • Interleaving: there is no temporal ordering

• CHOICE

  • Alternative

• SEQUENCE

  • Well-ordered sequence during time from left to right

• REPEAT

  • Repetition

• EXCEPTION

  • Interrupt

• IS

  • Noop

||

|

_

*

=

Previous slide

Next slide

Back to first slide

View graphic version