Composing Specifications of Event Based Applications.

Pascal Fenkam Harald C. Gall Mehdi Jazayeri

Published in: FASE (2003)

Keyphrases

delay insensitive
publish subscribe
high level
object oriented
formal specification
decision trees
search algorithm
event detection
specification language
event driven
petri net
concurrent systems
asynchronous circuits
control flow
database
information systems
social networks
learning algorithm
information retrieval