Real space process algebra
scientific article; zbMATH DE number 598164