Specifying and Using a Virtually Synchronous Group Communication Service
Mathematical Modelling/Specification/Verification/Performance Analysis/Fault-Tolerance Analysis for Network Services