Confluence Detection for Transformations of Labelled Transition Systems.

Published in: GaM (2015)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
practical reasoning
artificial intelligence
social networks
linear programming
finite state