Modal abstraction and replication of processes with data by