Process algebra,
Set of actions
Can compose those actions (countably).
Choice combinator (can choose to do an action)
- internal or external choice?
Gobal clock is more general than non-global clock
Defined using operational semantics rules.
composition is like (and)
choice is like a disjunciton
Rules defined in a structural rules