Applying Rewriting Techniques to the Verification of Erlang Processes.

Thomas Arts, Jrgen Giesl

Browse the full CSL paper archive.