A fully abstract semantics for value-passing CCS for trees.

Ying Jiang Shichao Liu Thomas Ehrhard

Published in: Frontiers Comput. Sci. (2019)

Keyphrases

decision trees
semantic information
formal semantics
low level
tree structure
databases
high level
logic programming
semantic representation
active rules
tree construction