Foundations of session types.

Giuseppe Castagna Mariangiola Dezani-Ciancaglini Elena Giachino Luca Padovani

Published in: PPDP (2009)

Keyphrases

artificial intelligence
knowledge base
digital libraries
databases
neural network
image segmentation
three dimensional
cooperative
search algorithm
preprocessing
evolutionary algorithm