A formal paradigm for multiview distributed debugging environments