On affine usages in signal-based communication
Logic in Computer Science
2010-07-01 v3
Abstract
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 that preserve affinity and that can be composed. As a main application of the resulting system, we show that typable programs are deterministic.
Keywords
Cite
@article{arxiv.0804.1729,
title = {On affine usages in signal-based communication},
author = {Roberto Amadio and Mehdi Dogguy},
journal= {arXiv preprint arXiv:0804.1729},
year = {2010}
}