Login / Signup
Type Consistency Checking for Concurrent Independent Processes.
Aurel Cornell
Published in:
AMAST (1991)
Keyphrases
</>
consistency checking
stochastic search
query answering
temporal reasoning
temporal constraints
case study
process model
databases
computer vision
objective function
end users