1 paper
Roberto Amadio, Mehdi Dogguy
We describe a type system for a synchronous pi-calculus formalising the notion of affine usage in signal-based communication. In particular, we identify a limited number of usages…