A Fully Abstract Semantics for Value-passing CCS for Trees.
Shichao LiuThomas EhrhardYing JiangPublished in: CoRR (2016)
Keyphrases
- formal semantics
- propositional dynamic logic
- logical language
- genetic algorithm
- tree structures
- higher level
- decision trees
- logic programming
- semantic information
- transformation rules
- databases
- multi agent
- data structure
- low level
- keywords
- default reasoning
- database systems
- high level
- tree models
- binary trees
- labeled trees