Ubiquity · 2003 · 175 citations · 0 references
ComputingComputer ScienceComputer SystemsDistributed SystemsEnterprise SystemsKnowledge RepresentationDiscrete-event System ModelingEvent CoordinationEvent RepresentationEvent SemanticsTemporal LogicTransaction Processing SystemsDiscrete-event SystemsDistributed Event ProcessingEnterprise Systems ArchitectureEvent CalculusEvent ProcessingEvent-triggered SystemsTemporal Logic ReasoningTemporal Reasoning
An overview of more than a decade of work on event systems, formal specification and temporal reasoning