TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY

Torben Amtoft , Flemming Nielson , Hanne Riis Nielson