Specification of Parallel Algorithms
Guy E. Blelloch, K. Mani Chandy, and Suresh Jagannathan
Also, in Technical Memo MIT/LCS/TM-373, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, November 1988. 18. N.A. Lynch and F.W. Vaandrager. Forward and backward simulations - Part I: Untimed ...