Login / Signup
On asynchrony in name-passing calculi.
Massimo Merro
Davide 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