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.

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.

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).