The Tahiti programming language: events as first-class objects

No programming language embodies a fully abstract and consistent facility for representing and managing computational events. Tahiti is an experimental CSP-based language that augments the standard primitive data types with the type Event, which enables data objects to be bound to occurrences in the execution of the program itself. A description is presented of Tahiti's constructs for representing and managing events without addressing the language's formal semantics, or the many implementation issues it arouses.<
>