A type-and-effect system for asynchronous, typed events
EventJava: An Extension of Java for Event Correlation