Graph rewriting, constraint solving and tiles for coordinating distributed systems
scientific article; zbMATH DE number 1423561