>>> "Richard" == Richard Carlsson <richardc@REDACTED> writes: Richard> (There is also a newer article from this year's Erlang workshop Richard> that describes the final implementation in more detail, but that Richard> is only available via the ACM digital library.) Do you have a direct pointer into the ACM DL for this paper? Thanks, D.