Thank you all for your wonderful work with Parsec.
I remember you announced before that an updated version of the Parsec paper is coming out, do you have any update about when it will be?
I posted a non-binary to binary translation question here Parsec/ABA: How do you map ORDERING to binary agreement instances (or other nonbinary value)? . Thanks, Guy