Expressiveness of Concurrent Languages

The aim of this thesis is to go through different approaches for proving expressiveness properties in several concurrent languages. We analyse four different calculi exploiting for each one a different technique. We begin with the analysis of a synchronous language, we explore the expressiveness of a fragment of CCS! (a variant of Milner's CCS where replication is considered instead of recursion) w.r.t. the existence of faithful encodings (i.e. encodings that respect the behaviour of the encoded model without introducing unnecessary computations) of models of computability strictly less expressive than Turing Machines. Namely, grammars of types 1,2 and 3 in the Chomsky Hierarchy. We then move to asynchronous languages and we study full abstraction for two Linda-like languages. Linda can be considered as the asynchronous version of CCS plus a shared memory (a multiset of elements) that is used for storing messages. After having defined a denotational semantics based on traces, we obtain fully abstract semantics for both languages by using suitable abstractions in order to identify different traces which do not correspond to different behaviours. Since the ability of one of the two variants considered of recognising multiple occurrences of messages in the store (which accounts for an increase of expressiveness) reflects in a less complex abstraction, we then study other languages where multiplicity plays a fundamental role. We consider the language CHR (Constraint Handling Rules) a language which uses multi-headed (guarded) rules. We prove that multiple heads augment the expressive power of the language. Indeed we show that if we restrict to rules where the head contains at most n atoms we could generate a hierarchy of languages with increasing expressiveness (i.e. the CHR language allowing at most n atoms in the heads is more expressive than the language allowing at most m atoms, with m

Catálogo y estudio de las gramáticas de italiano para hispanohablantes: siglos XVIII y XIX

El objetivo de la presente investigación, el catálogo y estudio de las gramáticas de italiano destinadas a hispanohablantes de los siglos XVIII y XIX, se encuadra en el macrosector gramaticográfico de la historiografía lingüística, en el cual el estudio de las gramáticas de las lenguas dirigidas a hablantes nativos y a hablantes extranjeros, con los consiguientes cruces y trasvases de tradiciones gramaticales, es de significativo interés como destacan: (i) las tesis doctorales defendidas en los últimos quince años; (ii) los proyectos de investigación dirigidos y coordinados por prestigiosos estudiosos del sector; (iii) los congresos organizados para destacar y compartir las principales actualizaciones en torno a los estudios gramaticográficos; y (iv) las publicaciones que surgen de los tres puntos anteriores. El estudio presenta dos partes centrales: la primera (constituida por los capítulos 2 y 3) es la de catálogo y estudio de las diecinueve gramáticas que conforman el corpus en base a ocho áreas descriptivas (1. información catalográfica, 2. autor, 3. editor, 4. hiperestructura, 5. elementos peritextuales, gramaticales y didácticos, 6. variedad de textos y su secuencia didáctica, 7. caracterización, fuentes e influencias, y 8. localización); la segunda (capítulo 4) es la de estudio gramaticográfico de conjunto de los datos más relevantes de las areas de estudio utilizadas en las dos primeras partes. De este modo, daremos un panorama de conjunto sobre (i) la cronología de las obras y sus ediciones y rempresiones; (ii) la nacionalidad, profesión, condición religiosa, etc. de autores; (iii) la geografía de ediciones y editores; (iv) la descripción hiperestructural de las obras; (v) la estructura de los elementos peritextuales; (vi) las partes gramaticales y elementos que las componen; (vii) el verbo: definiciones y paradigma verbal; (vii) los elementos didácticos; (viii) las líneas de descripción gramatical; (ix) la localización de las gramáticas en las bibliotecas españolas.