Title: Abstract behaviour of distributed executions with applications to visualization