Type and Eect Systems. Behaviours for Concurrency (1999)

by T Amtoft, F Nielson, H R Nielson