Guarded Transitions in Evolving Specifications.

Dusko Pavlovic Douglas R. Smith

Published in: AMAST (2002)

Keyphrases

fixed point
data sets
databases
formal specification
probabilistic databases
real world
machine learning
high level
search algorithm
query answering
specification language
concurrent systems
delay insensitive
tree decompositions