Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees.

James Ferlez Rance Cleaveland Steven I. Marcus

Published in: EXPRESS/SOS (2017)

Keyphrases

decision trees
tree structure
modal logic
logic programming
automated reasoning
multi valued
neural network
artificial intelligence
website
tree structures
classical logic