Modular Session Types for Objects

Simon J. Gay Nils Gesbert António Ravara Vasco Thudichum Vasconcelos

Published in: Log. Methods Comput. Sci. (2015)

Keyphrases

moving objects
multiple types
data objects
data structure
object level
neural network
decision trees
case study
d objects
geometric constraints
modular structure