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.

Territories of scarcity and creativity: a critical view of informal settlements and emerging tactics under conditions of scarcity in Nairobi, Kenya and Quito, Ecuador

This thesis explores the processes through which scarcity is constructed in informal settlements and how conditions emerging within its limits gives way to particular socio-spatial phenomena and influence the emergence of self-organisation and creative strategies from a non-expert perspective. At the same time, this thesis deconstructs these emerging tactics (reactive and transformative) in a diagrammatic way to generate a critical study of their potential for socio-spatial change that goes beyond the everyday survival. Most people associate scarcity with “not having enough” of something, most usually of a material nature. In contrast, this paper is based on the premise that scarcity is a constructed condition, therefore exploring it beyond its immediate manifestation and illustrating its discursive, distributive and socio-material components. In this line, the research uses Assemblage Theory as both an approach and a tool for analysis. This approach allows the research to depart from everyday narratives of the residents, and gradually evolve into a multi-scalar, non-linear reading of scarcity, by following leads into different realms and unpacking a series of routine events to uncover their connections to wider processes and particular elements affecting the settlement and the city as a whole. For this purpose, the research is based on a qualitative, flexible and multi-sited methodology, using different case studies as testing grounds. Collected data stems from a 11-months ethnographic fieldwork in informal settlements in Ecuador and Kenya, analysing the socio-spatial practices and strategies deployed by the different actors producing the built environment and arising from everyday and latent experiences of scarcity. The thesis examines the multi-scalar nature of these strategies, including self-building and management tactics, the mobilisation of grassroots organisations, the innovative ways of collaborating deployed by different coalitions and the reformulation of urban development policies. As outcomes of the research, the thesis will show illustrative diagrams that allow a better understanding of, firstly, the construction of scarcity in the built environment beyond its immediate manifestation and secondly, the way that emerging tactics a) improve existing conditions of scarcity, b) reinforce the status quo or c) contribute to the worsening of the original condition. Therefore, this thesis aims to offer lessons with both practical and theoretical considerations, by firstly, giving an insight into the complexity and transcalar nature of the construction of scarcity in informal settlements; secondly, by illustrating how acute conditions related to scarcity gives birth to a plethora of particular phenomena shaping the territory, social relationships and processes; and thirdly, by identifying specific characteristics within the informal that might allow for new readings of the city and possibilities for socio-spatial change under conditions of scarcity.

Complete Public Law Text, Cases and Materials, 3rd edition

Complete Public Law: Text, Cases, and Materials combines extracts from key primary and secondary materials with clear explanatory text to provide a complete resource for students of constitutional and administrative law. Clear, concise explanation of key legal principles is combined with a wide range of extracts, from statutes, case law and academic materials to provide a complete resource for students The authors use straightforward and uncomplicated language to ensure legal concepts and the complexities of the British constitution are easily understood Learning features such as thinking points, diagrams, useful notes, summary points and reflective questions provide valuable support for students and encourage them to engage with the subject A helpful 'case study' chapter on human rights, terrorism and the courts illustrates how the Human Rights Act has been used in practice across the legal system, providing extra insight into the importance of both human rights law and the process of judicial review The 'Judicial review: putting it all together in problem answers' chapter pulls together strands from previous chapters to provide a checklist of issues to be considered in order to diagnose a judicial review problem and advise a client