The Pairing of Contracts and Session Types.

Cosimo Laneve Luca Padovani

Published in: Concurrency, Graphs and Models (2008)

Keyphrases

databases
supply chain
feature selection
image segmentation
three dimensional
search algorithm
multiresolution
electronic commerce