Computing maximal weak and other bisimulations.

Alexandre Boulgakov Thomas Gibson-Robinson A. W. Roscoe

Published in: Formal Aspects Comput. (2016)

Keyphrases

cooperative
neural network
computer vision
website
real world
information systems
clustering algorithm
pattern recognition
lower bound