Type and Effect Systems: Behaviours for Concurrency (1999)

by T Amtoft, F Nielson, H Nielson