Basic Operations of Event Contracts