Jump to user comments
language Synchronizing Resources.
A language for concurrent programming.
"Resources" encapsulate processes and variables they share.
Each Resource can be separately compiled. "Operations"
provide the primary mechanism for process interaction.
SR provides a novel integration of the mechanisms for invoking
and servicing operations. Consequently, it supports local and
others.
["An Overview of the SR Language and Implementation", G.
Andrews, ACM TOPLAS 10:51-86 (Jan 1988)].
["The SR Programming Language: Concurrency in Practice",
G.R. Andrews et al, Benjamin/Cummings 1993, ISBN
0-8053-0088-0].
(1992-09-01)