Type and Effect Systems: Behaviours for Concurrency (1999)

by T Amtoft, H R Nielson, F Nielson