Type Systems for Concurrent Programming Calculi

N. Raja, R. K. Shyamasundar. Type Systems for Concurrent Programming Calculi. Informatica (Slovenia), 27(4):433-443, 2003. [doi]

Abstract

Abstract is missing.