Specifying and analysing networks of processes in CSPt (or in search of associativity)

In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.

On the multi-dimensionality and sampling of air transport networks

Complex network theory is a framework increasingly used in the study of air transport networks, thanks to its ability to describe the structures created by networks of flights, and their influence in dynamical processes such as delay propagation. While many works consider only a fraction of the network, created by major airports or airlines, for example, it is not clear if and how such sampling process bias the observed structures and processes. In this contribution, we tackle this problem by studying how some observed topological metrics depend on the way the network is reconstructed, i.e. on the rules used to sample nodes and connections. Both structural and simple dynamical properties are considered, for eight major air networks and different source datasets. Results indicate that using a subset of airports strongly distorts our perception of the network, even when just small ones are discarded; at the same time, considering a subset of airlines yields a better and more stable representation. This allows us to provide some general guidelines on the way airports and connections should be sampled.

Rethinking crises and the accretion of executive power: the “War on Terror” and conditionality evidence from seven political systems

External shocks to democratic systems are likely to threaten the stability of relations between the executive and the representative assembly. This article investigates the impact of the so-called “war on terror” on executive-assembly relations in comparative perspective. We analyze data from seven countries, which varied in terms of form of government, level of democracy, culture, social structure, and geographic location, to evaluate its effects. We find that whereas in some systems the “war on terror” altered the balance of power between the executive and the assembly, in other cases the extant balance of power was preserved. We postulate various conditions under which the constitutionally sanctioned balance of power is most likely to be preserved in times of crisis.

Dynamic Network Mechanisms of Relational Integration

A prominent hypothesis states that specialized neural modules within the human lateral frontopolar cortices (LFPCs) support “relational integration” (RI), the solving of complex problems using inter-related rules. However, it has been proposed that LFPC activity during RI could reflect the recruitment of additional “domain-general” resources when processing more difficult problems in general as opposed to RI specifi- cally. Moreover, theoretical research with computational models has demonstrated that RI may be supported by dynamic processes that occur throughout distributed networks of brain regions as opposed to within a discrete computational module. Here, we present fMRI findings from a novel deductive reasoning paradigm that controls for general difficulty while manipulating RI demands. In accordance with the domain- general perspective, we observe an increase in frontoparietal activation during challenging problems in general as opposed to RI specifically. Nonetheless, when examining frontoparietal activity using analyses of phase synchrony and psychophysiological interactions, we observe increased network connectivity during RI alone. Moreover, dynamic causal modeling with Bayesian model selection identifies the LFPC as the effective connectivity source. Based on these results, we propose that during RI an increase in network connectivity and a decrease in network metastability allows rules that are coded throughout working memory systems to be dynamically bound. This change in connectivity state is top-down propagated via a hierarchical system of domain-general networks with the LFPC at the apex. In this manner, the functional network perspective reconciles key propositions of the globalist, modular, and computational accounts of RI within a single unified framework.

The War at Home

The reform of cities spaces and housing has been a key issue with campaigners on the left for more than a century. These campaigns have found allies in the work of socially committed photographers from Jacob Riis at the turn of the twentieth century to Margaret Morton and Camilo Jose Vergara today. Globally the current phase of neo-liberalism has brought its own issues to the city as ‘regeneration’ strategies dispossess the urban poor in areas that are potentially lucrative to real estate development. In this process known as ‘accumulation by dispossession’ large profits are accumulated in the process of dispossessing people of their land, rights and homes. Central to the theoretical component of this paper, is an interrogation of contemporary ideas on the production and photographic representation of urban space. The research hence questions photography’s ability to make ‘legible’ the key drivers of today’s emergent terrains and to visualize their connections to the networks of power and capital that articulate the current political economy (Sassen 2011:36). One strand here will be the ‘fleshing out’ of the cultural practices behind photographers mediating urban development (Jones 2013: 1.2). Alongside current corporate depictions historical precedents will be discussed. Photographers as far back as Charles Marville in Paris of the 1850’s have documented urban reconstruction (Kennel 2013). Often employed by those undertaking the demolition, these photographic images frequently suppress certain narratives of the unbuilding process. Acting as a propaganda tool they eliminate the impact on the lives of inhabitants or the economic realities driving the valorization of reconstruction schemes (James 2004). Reformist documentary images have also played their part in justifying large-scale urban reconstruction that involved the eventual displacement of existing communities (Rose 1997: Blaikie 2006). Focusing on the gentrification of social housing in Pendleton, Salford (Greater Manchester) the presentation will explore the artists’ own work through a critical discussion, photographic images and excerpts from site writing they’ve undertaken in the area since 2004. It asks can an alternative photographic and visual strategy provide a meaningful political counter narrative to combat persuasive corporate discourses on ‘urban revitalization’? The paper will explore strategies and techniques of witnessing and ask whether these types of record can counter neo-liberal visualizations that mediate the material transformation of city areas. Can such representations begin a critical conversation about the nature of urban change and who benefits from these transformations (Wyly 2010)? Can we develop this critical photography into a type of practice that moves beyond generalisations and talks about social relations though an ‘explicit analysis of society’ (Rosler 2004:195).

Britain and the threat to stability in Europe 1918-45

After the horrors of the First World War a dialogue began between European statesmen seeking some form of European integration as a way of achieving lasting peace. During the inter-war period this idea started to attract support in Britain even though Britain's strategic and economic interests remained focused outside Europe. This book explores Britain's relations with the continent between 1918 and 1945, focussing on diplomatic and military responses to the major crises and examining attitudes to the idea of Europe in the broader context of relations with the Empire, Commonwealth and the USA.

Successful termination in timed CSP

In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.

Values in middle childhood: Social and genetic contributions

Theories of value development often identify adolescence as the period for value formation, and cultural and familial factors as the sources for value priorities. However, recent research suggests that value priorities can be observed as early as in middle childhood, and several studies, including one on preadolescents (Knafo & Spinath, 2011), have suggested a genetic contribution to individual differences in values. In the current study, 174 pairs of monozygotic and dizygotic 7-year old Israeli twins completed the Picture-Based Value Survey for Children (PBVS–C; Döring et al., 2010). We replicated basic patterns of relations between value priorities and variables of socialisation – gender, religiosity, and socioeconomic status– that have been found in studies with adults. Most important, values of Self-transcendence, Self-enhancement, and Conservation, were found to be significantly affected by genetic factors (29%, 47% and 31% respectively), as well as non-shared environment (71%, 53% and 69% respectively). Openness to change values, in contrast, were found to be unaffected by genetic factors at this age and were influenced by shared (19%) and non-shared (81%) environment. These findings support the recent view that values are formed at earlier ages than had been assumed previously, and they further our understanding of the genetic and environmental factors involved in value formation at young ages.