Conjunction on processes: Full abstraction via ready-tree semantics.

Gerald Lüttgen Walter Vogler

Published in: Theor. Comput. Sci. (2007)

Keyphrases

tree structure
formal semantics
database
logic programming
leaf nodes
tree construction
relational databases
process model
r tree
computational models
spanning tree
tree nodes
dynamic aspects