Analyzing divergence in bisimulation semantics.

Xinxin Liu Tingting Yu Wenhui Zhang

Published in: POPL (2017)

Keyphrases

formal semantics
logic programming
data sets
neural network
programming language
conceptual model
operational semantics
database
genetic algorithm
artificial intelligence
semantic information
conceptual graphs