Michael Jay Quinn
-
Parallel graph algorithms
ACM Computing Surveys (CSUR)
The multiway rendezvous
ACM Transactions on Programming Languages and Systems (TOPLAS)