Paulus Gregorius Lucassen

1963

• A denotational model and composition theorems for a calculus of delay-insensitive specifications