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]

Authors

Rafael Caballero

This author has not been identified. Look up 'Rafael Caballero' in Google

Enrique Martin-Martin

This author has not been identified. Look up 'Enrique Martin-Martin' in Google

Adrián Riesco

This author has not been identified. Look up 'Adrián Riesco' in Google

Salvador Tamarit

This author has not been identified. Look up 'Salvador Tamarit' in Google