Alphabet
An arbitrary (usually finite) set of elements denoted by the symbol
Each element of the alphabet (in concurrency) is an "action" that does changes.
Examples:
See also: Sequence
Sigma Star
An arbitrary (usually finite) set of elements denoted by the symbol
Each element of the alphabet (in concurrency) is an "action" that does changes.
Examples:
See also: Sequence
Sigma Star