Declarative debugging of concurrent Erlang programs

Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit. Declarative debugging of concurrent Erlang programs. Journal of Logic and Algebraic Programming, 101:22-41, 2018. [doi]

Abstract

Abstract is missing.