Modelling session types using contracts.

Giovanni Bernardi Matthew Hennessy

Published in: SAC (2012)

Keyphrases

computer vision
supply chain
real time
artificial intelligence
information systems
image segmentation
high level
cooperative