Deconfined Global Types for Asynchronous Sessions.

Francesco Dagnino Paola Giannini Mariangiola Dezani-Ciancaglini

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

information systems
expert systems
multiresolution
high speed
computer vision
global information
multidatabase systems