@inproceedings{ot4jc,
author={Patrignani, Marco and Clarke, Dave and Sangiorgi, Davide},
title={Ownership {T}ypes for the {J}oin {C}alculus},
year={2011},
series={LNCS},
volume={6722},
pages={289-303},
booktitle={FMOODS/FORTE 2011},
location={Reykjavik, Iceland}
}