Thomas Arts, Thomas Noll. Verifying Generic Erlang Client-Server Implementations. In Markus Mohnen, Pieter W. M. Koopman, editors, Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers. Volume 2011 of Lecture Notes in Computer Science, pages 37-52, Springer, 2000. [doi]
Abstract is missing.