Pierpaolo Degano Corrado Priami Lone Leth Bent Thomsen Causality for Debugging Mobile Agents. 335-374 1999 36 Acta Inf. 5 http://link.springer.de/link/service/journals/00236/bibs/9036005/90360335.htm db/journals/acta/acta36.html#DeganoPLT99