Inklings: a tumblelog

Recovering resources in the pi-calculus