Axiomatic Characterization of Trace Reachability for Concurrent Objects.

Frank S. de Boer Hans-Dieter A. Hiep

Published in: IFM (2019)

Keyphrases

axiomatic characterization
object model
state space
data objects
databases
information retrieval
video sequences
d objects
complex scenes
conditional independence
transitive closure
multi object