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 mdialects of the calculus can be obtained. We analyse the expressive power of some of these dialects by focusing on decidability and undecidability for problems like reachability and coverability.

Traces de terre, traces d'encre... La rappresentazione dello spazio nella letteratura caraibica. (Francofona e Anglofona)

This study concerns the representation of space in Caribbean literature, both francophone and Anglophone and, in particular, but not only, in the martinican literature, in the works of the authors born in the island. The analysis focus on the second half of the last century, a period in which the martinican production of novels and romances increased considerably, and where the representation and the rule of space had a relevant place. So, the thesis explores the literary modalities of this representation. The work is constituted of 5 chapters and the critical and methodological approaches are both of an analytical and comparative type. The first chapter “The caribbean space: geography, history and society” presents the geographic context, through an analysis of the historical and political major events occurred in the Caribbean archipelago, in particular of the French Antilles, from the first colonization until the départementalisation. The first paragraph “The colonized space: historical-political excursus” the explores the history of the European colonization that marked forever the theatre of the relationship between Europe, Africa and the New World. This social situation take a long and complex process of “Re-appropriation and renegotiation of the space”, (second paragraph) always the space of the Other, that interest both the Antillean society and the writers’ universe. So, a series of questions take place in the third paragraph “Landscape and identity”: what is the function of space in the process of identity construction? What are the literary forms and representations of space in the Caribbean context? Could the writing be a tool of cultural identity definition, both individual and collective? The second chapter “The literary representation of the Antillean space” is a methodological analysis of the notions of literary space and descriptive gender. The first paragraph “The literary space of and in the novel” is an excursus of the theory of such critics like Blanchot, Bachelard, Genette and Greimas, and in particular the recent innovation of the 20th century; the second one “Space of the Antilles, space of the writing” is an attempt to apply this theory to the Antillean literary space. Finally the last paragraph “Signs on the page: the symbolic places of the antillean novel landscape” presents an inventory of the most recurrent antillean places (mornes, ravines, traces, cachots, En-ville,…), symbols of the history and the past, described in literary works, but according to new modalities of representation. The third chapter, the core of the thesis, “Re-drawing the map of the French Antilles” focused the study of space representation on francophone literature, in particular on a selected works of four martinican writers, like Roland Brival, Édouard Glissant, Patrick Chamoiseau and Raphaël Confiant. Through this section, a spatial evolution comes out step by step, from the first to the second paragraph, whose titles are linked together “The novel space evolution: from the forest of the morne… to the jungle of the ville”. The virgin and uncontaminated space of the Antilles, prior to the colonisation, where the Indios lived in harmony with the nature, find a representation in both works of Brival (Le sang du roucou, Le dernier des Aloukous) and of Glissant (Le Quatrième siècle, Ormerod). The arrival of the European colonizer brings a violent and sudden metamorphosis of the originary space and landscape, together with the traditions and culture of the Caraïbes population. These radical changes are visible in the works of Chamoiseau (Chronique des sept misères, Texaco, L’esclave vieil homme et le molosse, Livret des villes du deuxième monde, Un dimanche au cachot) and Confiant (Le Nègre et l’Amiral, Eau de Café, Ravines du devant-jour, Nègre marron) that explore the urban space of the creole En-ville. The fourth chapter represents the “2nd step: the Anglophone novel space” in the exploration of literary representation of space, through an analytical study of the works of three Anglophone writers, the 19th century Lafcadio Hearn (A Midsummer Trip To the West Indies, Two Years in the French West Indies, Youma) and the contemporary authors Derek Walcott (Omeros, Map of the New World, What the Twilight says) and Edward Kamau Brathwaite (The Arrivants: A New World Trilogy). The Anglophone voice of the Caribbean archipelago brings a very interesting contribution to the critical idea of a spatial evolution in the literary representation of space, started with francophone production: “The spatial evolution goes on: from the Martiniques Sketches of Hearn… to the modern bards of Caribbean archipelago” is the new linked title of the two paragraphs. The fifth chapter “Extended look, space shared: the Caribbean archipelago” is a comparative analysis of the results achieved in the prior sections, through a dialogue between all the texts in the first paragraph “Francophone and Anglophone representation of space compared: differences and analogies”. The last paragraph instead is an attempt of re-negotiate the conventional notions of space and place, from a geographical and physical meaning, to the new concept of “commonplace”, not synonym of prejudice, but “common place” of sharing and dialogue. The question sets in the last paragraph “The “commonplaces” of the physical and mental map of the Caribbean archipelago: toward a non-place?” contains the critical idea of the entire thesis.

Il teatro e Derek Walcott. Prospettive postcoloniali e multiculturali

This thesis explores the function of the theatre in Derek Walcott's literary achievements. Focusing on the semiotic theories that characterize the study of drama as a literary text and as a staged text, the initial approach aims at creating a relationship between semiotics and postcolonial theories. In particular Pavis's concept of intercultural semiotics and Peter Brook's innovative visions about the regenerative function of the space of the theatre represent a useful theoretical basis to consider the specificity of postcolonial theatre as an innovative space, where new cultural meanings emerge. Derek Walcott's dramatic production is studied according to this approach, in order to be defined as a new hybrid, syncretic and multicultural space. After considering the development of drama from a postcolonial and Caribbean perspective, this study begins with an insight into Walcott's views on theatre, taking into consideration his linguistic depth, linked to the European tradition, but also his strong concern with the Caribbean public's cultural needs. The double tension characterizing Walcott's cultural identity as well as his art represents an essential element to analyse his dramatic texts. With an ambivalent approach, which takes into consideration language and performance, this thesis offers an insight into Walcott's plays to detect their postcolonial and multicultural elements. The analysis of the different texts are divided into two chapters (third and fourth). The third chapters - mainly focused on postcolonial themes - explores issues such as language, identity and space, whereas the fourth chapter centers on multiculturalism in text and performance. Dealing with interracial interactions, issues like re-writing classical texts and the manipulation of personal and collective memory as a way to re- establish new historical perspectives, the last part of the thesis aims at demonstrating the idea that Walcott has created a new space in the theatre made by the harmonic fusion of different and opposed cultural elements, which are visible in the literary as well as in the staged text. The textual perspective of Walcott's drama fits into Pavis's definition of intercultural semiotics, as the faithful representation of a multicultural creole society: that of the West Indies.

"Mi bèl pawòl, mi!" Rappresentazione delle lingue e della parola nella narrativa di Patrick Chamoiseau e Raphael Confiant (1986-1994)

From 1986 to 1994, Patrick Chamoiseau and Raphaël Confiant published a series of fictional and non-fictional writings focusing on language issues. Interest in these themes can certainly in part be explained by the "surconscience linguistique" that Lise Gauvin attributes to Francophone authors: a linguistic over-awareness which, in the case of these two Martiniquais writers, may be attributed to their Creole-French diglossia. Although we might believe that the idea of Gauvin is right, it doesn't seem enough to explain why the linguistic theme plays such a central role in Chamoiseau's and Confiant's works. Deeply influenced by Glissant's theories on Creole popular culture and Antillean literature (Le discours antillais), they conceived a "Créolité" poetics based on a primarly identity-based and geopolitical discourse. Declaring the need to build an authentically Creole literary discourse, one that finally expresses the Martiniquais reality, Chamoiseau and Confiant (as well as Bernabé, third and last author of Éloge de la créolité) found the «foundations of [their] being» in orality and its poetics in the Creole language. This belief was maily translated into their works in two ways: by representing the (diglossic) relationships occurring between their first languages (Creole and French) and by representing the Creole parole (orality) and its function. An analysis of our authors' literary and theoretical writings will enable us to show how two works that develop around the same themes and thesis have in fact produced very divergent results, which were perhaps already perceivable in the main ambiguities of their common manifestos.