Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types.

Daniel Marshall Dominic Orchard

Published in: PLACES@ETAPS (2022)

Keyphrases

data mining
database
real time
metadata
image sequences
similarity measure
wireless sensor networks
information exchange
communication protocol