Linearity, session types and the Pi calculus.

Marco Giunti Vasco Thudichum Vasconcelos

Published in: Math. Struct. Comput. Sci. (2016)

Keyphrases

digital libraries
real time
real world
decision making
three dimensional
image sequences