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