A DCPO-enriched linear / non-linear model