Type and Effect Systems: Behaviours for Concurrency - Amtoft T Et Al (ICP, 1999)
Keywords: Computer Science