A small calculus for concurrent objects.

Kohei Honda Mario Tokoro

Published in: OOPS Messenger (1991)

Keyphrases

databases
spatial relationships
multiscale
small number
information systems
d objects
data objects
digital objects
cardinal directions
mutual exclusion