From individuals to populations: a mean field semantics for process algebra
scientific article; zbMATH DE number 5871235