Specifying Parallel Programs in a Functional Language: The EPL Experience. Szymanski, B. K. In Blelloch, G. E.; Chandy, K. M.; and Jagannathan, S., editors, Specification of Parallel Algorithms, volume 18, of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 201-224, 1994. DIMACS/AMS.
Specifying Parallel Programs in a Functional Language: The EPL Experience. [link]Link  Specifying Parallel Programs in a Functional Language: The EPL Experience. [link]Paper  bibtex   
@inproceedings{conf/dimacs/Szymanski94,
  added-at = {2016-01-28T00:00:00.000+0100},
  author = {Szymanski, Boleslaw K.},
  biburl = {http://www.bibsonomy.org/bibtex/22cb4afa63f0e4bcbab602ff72d9bb519/dblp},
  booktitle = {Specification of Parallel Algorithms},
  crossref = {conf/dimacs/dimacs18},
  editor = {Blelloch, Guy E. and Chandy, K. Mani and Jagannathan, Suresh},
  ee = {http://dimacs.rutgers.edu/Volumes/Vol18.html},
  interhash = {dfa50532031f65999ce0408ef9ee3231},
  intrahash = {2cb4afa63f0e4bcbab602ff72d9bb519},
  keywords = {dblp},
  pages = {201-224},
  publisher = {DIMACS/AMS},
  series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
  timestamp = {2016-01-29T11:37:33.000+0100},
  title = {Specifying Parallel Programs in a Functional Language: The EPL Experience.},
  url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs18.html#Szymanski94},
  volume = 18,
  year = 1994
}
Downloads: 0