Specification diagrams for actor systems
scientific article; zbMATH DE number 1908587