Contracts -- behavioral compositions

interaction


Scripts -- cooperation by enrollment

Multiparty interactions -- communication primitive

Joint action systems -- action-oriented


slide: Specifying interactions