Skip to content
Skip to breadcrumbs
Skip to header menu
Skip to action menu
Skip to quick search

Page History

Versions Compared

Key

This line was added.
This line was removed.
Formatting was changed.

...

A transition does not require an explizit explicit goto instruction
A thread terminates, iff its parallel block is exited (via the next par statement or join)

...