Transactions
Tasks are represented by individual transactions. They:
- carry computational and communication cost parameters;
- carry some number of variables of type enumeration or reference;
- constrain joining of previously forked processes and merging of associated state;
- start at entry, end at exit points of behaviour.