A Linear Account of Session Types in the Pi Calculus.

Marco Giunti Vasco Thudichum Vasconcelos

Published in: CONCUR (2010)

Keyphrases

artificial intelligence
information systems
decision trees
multiscale
social networks
computer vision
linear systems
constraint query languages