A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions.

Ricardo Pena Luis M. Alonso

Published in: TAPSOFT (1993)

Keyphrases

constraint satisfaction problems
sufficient conditions
lower bound
databases
information systems
image processing
database systems
bayesian networks
multiscale
special case
temporal reasoning