Technical Reports

The ICICS/CS Reading Room


UBC CS TR-83-09 Summary

R-Maple: A Concurrent Programming Language Based on Predicate Logic, Part I: Syntax \& Computation, January 1983 Paul J. Voda

(Abstract not available on-line)


If you have any questions or comments regarding this page please send mail to help@cs.ubc.ca.