Andrews, G.R. "Synchronizing resources" pp405-430
(1981)
(1981)
TOPLAS 3(4) Oct 1981
Languages mentioned
SR
{1988} Synchronizing Resources - concurrent programming language