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