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 mand sites, bonds are represented by shared names labelling sites, and reactions are represented by rewriting rules. Depending on the shape of the rewriting rules, several dialects 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.

A core calculus for the analysis and implementation of biologically inspired languages

The application of Concurrency Theory to Systems Biology is in its earliest stage of progress. The metaphor of cells as computing systems by Regev and Shapiro opened the employment of concurrent languages for the modelling of biological systems. Their peculiar characteristics led to the design of many bio-inspired formalisms which achieve higher faithfulness and specificity. In this thesis we present pi@, an extremely simple and conservative extension of the pi-calculus representing a keystone in this respect, thanks to its expressiveness capabilities. The pi@ calculus is obtained by the addition of polyadic synchronisation and priority to the pi-calculus, in order to achieve compartment semantics and atomicity of complex operations respectively. In its direct application to biological modelling, the stochastic variant of the calculus, Spi@, is shown able to model consistently several phenomena such as formation of molecular complexes, hierarchical subdivision of the system into compartments, inter-compartment reactions, dynamic reorganisation of compartment structure consistent with volume variation. The pivotal role of pi@ is evidenced by its capability of encoding in a compositional way several bio-inspired formalisms, so that it represents the optimal core of a framework for the analysis and implementation of bio-inspired languages. In this respect, the encodings of BioAmbients, Brane Calculi and a variant of P Systems in pi@ are formalised. The conciseness of their translation in pi@ allows their indirect comparison by means of their encodings. Furthermore it provides a ready-to-run implementation of minimal effort whose correctness is granted by the correctness of the respective encoding functions. Further important results of general validity are stated on the expressive power of priority. Several impossibility results are described, which clearly state the superior expressiveness of prioritised languages and the problems arising in the attempt of providing their parallel implementation. To this aim, a new setting in distributed computing (the last man standing problem) is singled out and exploited to prove the impossibility of providing a purely parallel implementation of priority by means of point-to-point or broadcast communication.

The Dynamics of the Policies of Ethnic Cleansing in Silesia in the Nineteenth and Twentieth Centuries

Through studying German, Polish and Czech publications on Silesia, Mr. Kamusella found that most of them, instead of trying to objectively analyse the past, are devoted to proving some essential "Germanness", "Polishness" or "Czechness" of this region. He believes that the terminology and thought-patterns of nationalist ideology are so deeply entrenched in the minds of researchers that they do not consider themselves nationalist. However, he notes that, due to the spread of the results of the latest studies on ethnicity/nationalism (by Gellner, Hobsbawm, Smith, Erikson Buillig, amongst others), German publications on Silesia have become quite objective since the 1980s, and the same process (impeded by under funding) has been taking place in Poland and the Czech Republic since 1989. His own research totals some 500 pages, in English, presented on disc. So what are the traps into which historians have been inclined to fall? There is a tendency for them to treat Silesia as an entity which has existed forever, though Mr. Kamusella points out that it emerged as a region only at the beginning of the 11th century. These same historians speak of Poles, Czechs and Germans in Silesia, though Mr. Kamusella found that before the mid-19th century, identification was with an inhabitant's local area, religion or dynasty. In fact, a German national identity started to be forged in Prussian Silesia only during the Liberation War against Napoleon (1813-1815). It was concretised in 1861 in the form of the first Prussian census, when the language a citizen spoke was equated with his/her nationality. A similar census was carried out in Austrian Silesia only in 1881. The censuses forced the Silesians to choose their nationality despite their multiethnic multicultural identities. It was the active promotion of a German identity in Prussian Silesia, and Vienna's uneasy acceptance of the national identities in Austrian Silesia which stimulated the development of Polish national, Moravian ethnic and Upper Silesian ethnic regional identities in Upper Silesia, and Polish national, Czech national, Moravian ethnic and Silesian ethnic identities in Austrian Silesia. While traditional historians speak of the "nationalist struggle" as though it were a permanent characteristic of Silesia, Mr. Kamusella points out that such a struggle only developed in earnest after 1918. What is more, he shows how it has been conveniently forgotten that, besides the national players, there were also significant ethnic movements of Moravians, Upper Silesians, Silesians and the tutejsi (i.e. those who still chose to identify with their locality). At this point Mr. Kamusella moves into the area of linguistics. While traditionally historians have spoken of the conflicts between the three national languages (German, Polish and Czech), Mr Kamusella reminds us that the standardised forms of these languages, which we choose to dub "national", were developed only in the mid-18th century, after 1869 (when Polish became the official language in Galicia), and after the 1870s (when Czech became the official language in Bohemia). As for standard German, it was only widely promoted in Silesia from the mid 19th century onwards. In fact, the majority of the population of Prussian Upper Silesia and Austrian Silesia were bi- or even multilingual. What is more, the "Polish" and "Czech" Silesians spoke were not the standard languages we know today, but a continuum of West-Slavic dialects in the countryside and a continuum of West-Slavic/German creoles in the urbanised areas. Such was the linguistic confusion that, from time to time, some ethnic/regional and Church activists strove to create a distinctive Upper Silesian/Silesian language on the basis of these dialects/creoles, but their efforts were thwarted by the staunch promotion of standard German, and after 1918, of standard Polish and Czech. Still on the subject of language, Mr. Kamusella draws attention to a problem around the issue of place names and personal names. Polish historians use current Polish versions of the Silesian place names, Czechs use current Polish/Czech versions of the place names, and Germans use the German versions which were in use in Silesia up to 1945. Mr. Kamusella attempted to avoid this, as he sees it, nationalist tendency, by using an appropriate version of a place name for a given period and providing its modern counterpart in parentheses. In the case of modern place names he gives the German version in parentheses. As for the name of historical figures, he strove to use the name entered on the birth certificate of the person involved, and by doing so avoid such confusion as, for instance, surrounds the Austrian Silesian pastor L.J. Sherschnik, who in German became Scherschnick, in Polish, Szersznik, and in Czech, Sersnik. Indeed, the prospective Silesian scholar should, Mr. Kamusella suggests, as well as the three languages directly involved in the area itself, know English and French, since many documents and books on the subject have been published in these languages, and even Latin, when dealing in depth with the period before the mid-19th century. Mr. Kamusella divides the policies of ethnic cleansing into two categories. The first he classifies as soft, meaning that policy is confined to the educational system, army, civil service and the church, and the aim is that everyone learn the language of the dominant group. The second is the group of hard policies, which amount to what is popularly labelled as ethnic cleansing. This category of policy aims at the total assimilation and/or physical liquidation of the non-dominant groups non-congruent with the ideal of homogeneity of a given nation-state. Mr. Kamusella found that soft policies were consciously and systematically employed by Prussia/Germany in Prussian Silesia from the 1860s to 1918, whereas in Austrian Silesia, Vienna quite inconsistently dabbled in them from the 1880s to 1917. In the inter-war period, the emergence of the nation-states of Poland and Czechoslovakia led to full employment of the soft policies and partial employment of the hard ones (curbed by the League of Nations minorities protection system) in Czechoslovakian Silesia, German Upper Silesia and the Polish parts of Upper and Austrian Silesia. In 1939-1945, Berlin started consistently using all the "hard" methods to homogenise Polish and Czechoslovakian Silesia which fell, in their entirety, within the Reich's borders. After World War II Czechoslovakia regained its prewar part of Silesia while Poland was given its prewar section plus almost the whole of the prewar German province. Subsequently, with the active involvement and support of the Soviet Union, Warsaw and Prague expelled the majority of Germans from Silesia in 1945-1948 (there were also instances of the Poles expelling Upper Silesian Czechs/Moravians, and of the Czechs expelling Czech Silesian Poles/pro-Polish Silesians). During the period of communist rule, the same two countries carried out a thorough Polonisation and Czechisation of Silesia, submerging this region into a new, non-historically based administrative division. Democratisation in the wake of the fall of communism, and a gradual retreat from the nationalist ideal of the homogeneous nation-state with a view to possible membership of the European Union, caused the abolition of the "hard" policies and phasing out of the "soft" ones. Consequently, limited revivals of various ethnic/national minorities have been observed in Czech and Polish Silesia, whereas Silesian regionalism has become popular in the westernmost part of Silesia which remained part of Germany. Mr. Kamusella believes it is possible that, with the overcoming of the nation-state discourse in European politics, when the expression of multiethnicity and multilingualism has become the cause of the day in Silesia, regionalism will hold sway in this region, uniting its ethnically/nationally variegated population in accordance with the principle of subsidiarity championed by the European Union.

A Word. Palaver and Its Transferal Residues

The word 'palaver' is colloquially associated with useless verbiage and the nuisance of a tediously long, aimless and superfluous debate. At the same time, it insinuates an uncivilized culture of discourse beyond reason. Thus it appears to be of vaguely exotic origin but still firmly set in the European lexicon. Yet behind this contemporary meaning there lies a long history of linguistic and cultural transfers which is encased in a context of different usages of language and their intersections. By tracing the usage and semantics of 'palaver' in various encyclopaedias, glossaries and dictionaries of English, French, German, Portuguese and Spanish, the following article explores the rich history of this word. Moreover, it also regards the travelling semantics of the term 'palaver' as a process of cultural transfer that can be likened to the microcellular workings of a (retro)virus. Viral reproduction and evolution work through processes of transfer that enable the alteration of the host to adjust it to the replication and reproduction of the virus. In some cases, these processes also allow for the mutation or modification of the virus, making it suitable for transfer from one host to another. The virus is thus offered here as a vital model for cultural transfer: It not only encompasses the necessary adoption and adaption of contents or objects of cultural transfer in different contexts. It contributes to a conceptual understanding of the transferal residue that the transferred content is endowed with by its diversifying contexts. This model thereby surpasses an understanding of cultural transfer as literal translation or transmission: it conceptualizes cultural transfer as an agent of evolutionary processes, allowing for mutational effects of transfer as endowment.

Independence and search space preservation in dynamically scheduled constraint logic languages

This paper performs a further generalization of the notion of independence in constraint logic programs to the context of constraint logic programs with dynamic scheduling. The complexity of this new environment made necessary to first formally define the relationship between independence and search space preservation in the context of CLP languages. In particular, we show that search space preservation is, in the context of CLP languages, not only a sufficient but also a necessary condition for ensuring that both the intended solutions and the number of transitions performed do not change. These results are then extended to dynamically scheduled languages and used as the basis for the extension of the concepts of independence. We also propose several a priori sufficient conditions for independence and also give correctness and efficiency results for parallel execution of constraint logic programs based on the proposed notions of independence.

The Oceanic languages : their grammatical structure, vocabulary, and origin,

"The work is mainly a grammar and dictionary of only one Oceanic language--that of Efate in the New Hebrides. The comparative portions refer only to a very few other Oceanic languages, and are quoted only to illustrate certain features in the grammar of the Efate."--Review by S. H. Ray in Man, VIII (1908) no. 40.

Motivational state and process within the sociolinguistic context : an Anglo-French comparative study of school pupils learning foreign languages

The aim of this study was to investigate the effect of the socio-cultural environment upon the motivation school children have to learn foreign languages. Motivation was therefore considered from a sociolinguistic, rather than from a psycholinguistic perspective, giving primary importance to contextual, as opposed to personal factors. In order to examine the degree of relationship between motivational intensity and the contextual factors of parental attitudes, amount of foreign language exposure and the employment related value of foreign language learning (FLL), data obtained from school children living in two distinct sociolinguistic environments (Mulhouse, France and Walsall, England) were compared and contrasted. A structured sample drawn from pupils attending schools in Mulhouse and Walsall supplied the data base for this research. The main thrust of the study was quantitative in approach, involving the distribution of almost 1000 questionnaires to pupils in both towns. This was followed up by the use of qualitative methods, in the form of in-depth interviews with an individually matched sample of over 50 French/English pupils. The findings of the study indicate that FLL orientations, attitudes and motivation vary considerably between the two sociolinguistic environments. Levels of motivation were generally higher in the French sample than in the English one. Desire to learn foreign languages and a commitment to expend effort in order to fulfil this desire were key components of this motivation. The study also found evidence to suggest that the importance accorded to FLL by the socio-cultural context, communicated to the child through the socialisation agents of the family, the mass media and prospective employers, is of key importance in FLL motivation.

Transplanting diglossia: attitudes towards Standard and Cypriot Greek among London’s Greek Cypriot community

The linguistic situation in Greek-speaking Cyprus has been traditionally described as a textbook case of diglossia à la Ferguson (1959) with Standard Modern Greek (SModGr) being labelled as the High variety and Cypriot Greek (CypGr), the regional ModGr variety of Cyprus, being labelled the Low variety (Arvaniti, 2011; Moschonas, 1996). More recently, however, it has been proposed that the linguistic repertoire available to speakers features an array of forms of CypGr, which is best described as a continuum ranging from basilectal to acrolectal varieties (Katsoyannou et al., 2006; Tsiplakou et al., 2006). The basilectal end encompasses low prestige varieties predominantly spoken in rural areas. The acrolectal end is occupied by the version of SModGr used in the public domain in Cyprus (Arvaniti, 2006/2010). SModGr is known to carry high prestige in Cyprus. Speakers of CypGr describe speakers of the standard as more attractive, more intelligent, more interesting and more educated than speakers of the Cypriot dialect (Papapavlou, 1998). In this paper, I explore the relation between SModGr and CypGr in a diasporic setting, namely, the Greek Cypriot community of London. The United Kingdom is home to a sizeable Greek Cypriot community, whose population is presently estimated to fall between 200,000 and 300,000 individuals (Christodoulou-Pipis, 1991; National Federation of Cypriots in the UK). Similarly to the Cyprus homeland, the members of the Greek Cypriot parikia (‘community’) share a rich linguistic repertoire, which, in addition to varieties of Greek, crucially includes English. As is often the case with diasporas, the parikia does not form a homogeneous speech community in that not all of its members have an equally good command of Greek or even English. Rather, different types of monolingual and bilingual speakers are found including a large number of heritage speakers in the sense of Benmamoun et al. (2013), Montrul (2008, 2015) and Polinsky & Kagan (2007). Twenty British-born heritage speakers of CypGr were interviewed on their attitudes towards the different varieties of Greek. Results indicate that the prestige relation between SModGr and CypGr that holds in Cyprus has been transplanted to the parikia. SModGr is widely perceived as the prestigious variety and is described in positive terms (‘correct’, ‘proper’). The use of CypGr, on the other hand, enjoys covert prestige: it is perceived as an index of solidarity and in-group membership but at the same time is also viewed by heritage speakers as reminiscent of the hardship and lack of education of the generation that brought CypGr to the UK. In certain cases, the use of CypGr by heritage speakers is actively discouraged by the first generation not only in the public domain but also in private domains such as the home. Active discouragement targets both lexical and grammatical variants that are traditionally associated with basilectal varieties of CypGr, and heritage language features, especially the adoption of morphologically adapted loanwords from English. References Arvaniti, Amalia. 2006/2010. Linguistic practices in Cyprus and the emergence of Cypriot Standard Greek. Mediterranean Language Review 17, 15–45. Benmamoun, Elabbas, Silvina Montrul & Maria Polinsky. 2013. Heritage languages and their speakers: opportunities and challenges for linguists. Theoretical Linguistics 39(3/4), 129–181. Christodoulou-Pipis, Irina. 1991. Greek Outside Greece: Language Use by Greek-Cypriots in Britain. Nicosia: Diaspora Books. Ferguson, Charles A. 1959. Diglossia. Word 15(2), 325–340. Katsoyannou, Marianna, Andreas Papapavlou, Pavlos Pavlou & Stavroula Tsiplakou. 2006. Didialektikes koinotites kai glossiko syneches: i periptosi tis kypriakis [Bidialectal communities and linguistic continuum: the case of Cypriot Greek]. In Mark Janse, Brian D. Joseph & Angela Ralli (eds.), Proceedings of the 2nd International Conference of Modern Greek Dialects and Linguistic Theory, Mytilene, Greece, 30 September – 3 October 2004, 156–171. Patras: University of Patras. Montrul, Silvina A. 2008. Incomplete Acquisition in Bilingualism: Re-examining the Age Factor. Amsterdam/Philadelphia: John Benjamins. Montrul, Silvina. 2015. The Acquisition of Heritage Languages. Cambridge: Cambridge University Press. Moschonas, Spiros. 1996. I glossiki dimorfia stin Kypro [Diglossia in Cyprus]. In “Ischyres” – “Astheneis” Glosses stin Evropaiki Enosi: Opseis tou glossikou igemonismou [“Strong” – “Weak” Languages in the European Union: Aspects of Linguistic Imperialism], 121–128. Thessaloniki: Kentro Ellinikis Glossas. Polinsky, Maria & Olga Kagan. 2007. Heritage languages: in the ‘wild’ and in the classroom. Languages and Linguistics Compass 1(5), 368–395. Tsiplakou, Stavroula, Andreas Papapavlou, Pavlos Pavlou & Marianna Katsoyannou. 2006. Levelling, koineization and their implications for bidialectism. In Frans L. Hinskens (Eds.), Language Variation – European Perspectives: Selected Papers from the Third International Conference on Language Variation in Europe (ICLaVE 3), Amsterdam, June 2005, 265–279. Amsterdam/Philadelphia: John Benjamins.

Evidence of Term-Structure Differences among Folksonomies and Controlled Indexing Languages

With the advent of Internet-based technologies for information organization, many groups have constructed their own indexing languages. Biologists, Library and Information Science practitioners, and now social taggers have worked together to create large and many times complex indexing languages. In this environment of diversity, two questions surface: (1) what are the measurable characteristics of these indexing languages, and (2) do measurements of these indexing languages speciate along these characteristics? This poster presents data from this exploratory work.

Pattern-based analysis of EAI languages : the case of the business modelling language

Enterprise Application Integration (EAI) is a challenging area that is attracting growing attention from the software industry and the research community. A landscape of languages and techniques for EAI has emerged and is continuously being enriched with new proposals from different software vendors and coalitions. However, little or no effort has been dedicated to systematically evaluate and compare these languages and techniques. The work reported in this paper is a first step in this direction. It presents an in-depth analysis of a language, namely the Business Modeling Language, specifically developed for EAI. The framework used for this analysis is based on a number of workflow and communication patterns. This framework provides a basis for evaluating the advantages and drawbacks of EAI languages with respect to recurrent problems and situations.

Configurable reference modeling languages

This chapter discusses reference modelling languages for business systems analysis and design. In particular, it reports on reference models in the context of the design-for/by-reuse paradigm, explains how traditional modelling techniques fail to provide adequate conceptual expressiveness to allow for easy model reuse by configuration or adaptation and elaborates on the need for reference modelling languages to be configurable. We discuss requirements for and the development of reference modelling languages that reflect the need for configurability. Exemplarily, we report on the development, definition and configuration of configurable event-driven process chains. We further outline how configurable reference modelling languages and the corresponding design principles can be used in future scenarios such as process mining and data modelling.