On the Ill-Timed but Well-Caused.

Luca Aceto David Murphy

Published in: CONCUR (1993)

Keyphrases

petri net
discrete event
timed automata
databases
finite state machines
probabilistic model
database
real time
bayesian networks
optimal solution
model checking
database systems
multi agent
search algorithm
xml documents
knowledge representation