Login / Signup

Lax Bialgebras and Up-To Techniques for Weak Bisimulations.

Filippo BonchiDaniela PetrisanDamien PousJurriaan Rot
Published in: CONCUR (2015)
Keyphrases
  • database
  • learning algorithm
  • social networks
  • computer vision
  • pairwise
  • case based reasoning