Login / Signup

Relating Coalgebraic Notions of Bisimulation.

Sam Staton
Published in: CALCO (2009)
Keyphrases
  • computational properties
  • high level
  • database
  • databases
  • cooperative
  • preprocessing
  • medical images
  • np complete