An interaction is a sequence of event specifications.