Synchronization paradigm for protocol testing under multiparty configuration
scientific article; zbMATH DE number 1393345