As described below, work has continued in investigating appropriate denotational semantics for aspects of programming languages such as sequentiality, concurrency, non-determinism and local state.
Așa cum este descris mai jos, lucrul a continuat prin investigarea semanticilor denotaționale corespunzătoare pentru aspectele limbajelor de programare ce țin de secvențialitate, concurență, non-determinism și stare locală.