Regular sets of infinite message sequence charts
scientific article; zbMATH DE number 2118406
scientific article