The University of Arizona / Computer Science / UAScience
The University of Arizona
ComputerScience
UAScience

SR Documentation


A twelve-page technical report describing SR is available in PostScript or PDF form. An overview of version 1 of the language and implementation appeared in the January, 1988, issue of ACM TOPLAS (10,1, 51-86).

SR is described in The SR Programming Language: Concurrency in Practice, by Gregory R. Andrews and Ronald A. Olsson (Benjamin/Cummings, 1993, ISBN 0-8053-0088-0).

SR is used in Operating Systems Programming: The SR Programming Language, by Stephen J. Hartley (Oxford, 1995, ISBN 0-19-509579-0).

Information about concurrent programming in general can be found in Concurrent Programming: Principles and Practice, by Gregory R. Andrews (Benjamin/Cummings, 1991, ISBN 0-8053-0086-4). The programs in the book use a variant of the SR language. Errata sheets, in PostScript, are available for the first printing or second printing.

These reports are included (in PostScript form) in the SR package:


Return to SR home page