Saturated deductive systems for temporal specifications.

Regimantas Pliuskevicius

Published in: SEKE (1994)

Keyphrases

complex systems
spatial and temporal
high level
distributed systems
learning systems
database
search engine
object oriented
information retrieval systems
embedded systems
temporal patterns
delay insensitive