Timed Contact Algebras.

Ivo Düntsch Michael Winter

Published in: TIME (2009)

Keyphrases

petri net
timed automata
spatial reasoning
information systems
multi agent
markov chain
discrete event
distributive lattices
database
decision making
temporal reasoning
interval algebra
topological spaces