Package toolbus.process

Class Summary

Alternative	Alternative is the abstract syntax operator for the choice operator (+) in Tscripts.
Disrupt	Disrupt is the abstract syntax operator for the disrupt operator (>>) in Tscripts.
DynamicProcessCall
IfElse	IfElse is the abstract syntax operator for the if-then-else-fi operator in Tscripts.
IfThen
Iteration	Iteration implements the process expression P1 * P2.
LeftBiasedAlternative	LeftBiasedAlternative implements the the asymmetric choice operator operator <+.
LetDefinition
Merge
ProcessCall	ProcessCall implements a call to a process P(f1, f2, ...).
ProcessDefinition	ProcessDefinition describes the name, formal parameters and body of a defined process.
ProcessExpression	ProcesssExpression represents abstract syntax operators for operators in process expressions of Tscripts.
ProcessInstance
RightBiasedAlternative
Sequence