Sign in

Analyzing divergence in bisimulation semantics.

Xinxin LiuTingting YuWenhui 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