A number of models of computation on trees labeled with symbols from an infinite alphabet is considered. We study closure and decision properties of each of the models and compare ...
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
Alessandro Lapadula, Rosario Pugliese, Francesco T...
We construct a model without precipitous ideals but so that for each < 3 there is a normal ideal over 1 with generic ultrapower wellfounded up to the image of .