Behavioural Types for a Calculus of Concurrent Objects.

António Ravara Vasco Thudichum Vasconcelos

Published in: Euro-Par (1997)

Keyphrases

multiple types
moving objects
data sets
multiscale
spatial relationships
multiple objects
object level
individual objects