New Results - Expressiveness of computational models