Login / Signup

On asynchrony in name-passing calculi.

Massimo MerroDavide Sangiorgi
Published in: Math. Struct. Comput. Sci. (2004)
Keyphrases
  • sequent calculi
  • multi stream
  • qualitative spatial
  • emotion recognition
  • information systems
  • image processing
  • multiscale
  • reasoning problems
  • qualitative spatial reasoning
  • qualitative spatial and temporal reasoning