| Date | Page/Line | changes |
| 05/28/2010 | Page 14:19 line 1 |
sync (just.elves.a, just.elves.b) -- wait for two other
elves should be sync (just.elves.a!, just.elves.b!) -- wait for two other elves Explanation: the sync procedure takes in channel-ends, not entire channels, so we must specify which end of the channel we are passing. |
| 10/03/2018 | Section 7, 2nd paragraph. | In an email from John Trono received October 3rd. 2018: "In your 2009 TOPLAS paper, section 7 states that my original solution was in Java, however, it was mentioned in my paper that: The solution that has worked best over the years, and also appears to be the simplest, is written using C statements and pseudo-code." |