Contracts -- behavioral compositions

interaction

• specification, refinement, conformance declarations

Scripts -- cooperation by enrollment

• roles, initialization/termination protocols, critical role set

Multiparty interactions -- communication primitive

• frozen state, fault-tolerance, weakening synchrony

Joint action systems -- action-oriented

• state charts, refinement, superposition