" Dependable and Extensible Next Generation Net work Communication ServicesPOMPES PAR TRANSITIONS MULTIPLES "