An exploratory taxonomic study of IMP Group conference papers

The paper describes exploratory research into the nature of IMP conference papers with particular focus on content. A qualitative analysis of the proceedings of the 16th annual IMP conference is presented. The results provide insights into the diversity of academic thought that fuels the development of the IMP network and allows us to begin charting the development of knowledge structures within past IMP conferences. Of particular interest are, firstly, the tentative knowledge structure that emerges, secondly, the depth of analysis that emerges from using multi dimension coding and thirdly the utility of the process of successive categorisation.

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.

Transgender Freedom and the Law: A Liberal-Poststructural Discussion on McNally

In R v McNally, gender deception is found capable of leading to the vitiation of consent to sexual intercourse and, in so doing, places restriction on the freedom of transgendered individuals in favour of cisgendered freedom. This paper seeks to challenge the standing of this decision by adopting a combined methodological approach between Deleuzian post-structuralism and Gewirthian legal idealism. In so doing, we attempt to show that the combination offers a novel and productive approach to contentious decisions, such as that in McNally. Our approach brings together post-structuralist corporeality which conceives of the body as material and productive, and Gewirth’s ‘agent’ to conceptualise the legal body as an entity which can, and should, shape judicial reasoning. It does this by employing the criterion of categorically necessary freedom on institutionalised practical reasoning. These ‘bodies of agents’ can be conceived as the underpinning and justificatory basis for the authority of the law subject to the morally rational Principle of Generic Consistency. This egalitarian condition precedent requires individualisation and the ability to accept self-differentiation in order to return to a status, which can be validly described as “law”. Ultimately, we argue that this theoretical combination responds to a call to problematise the connection made between gender discourse and judicial reasoning, whilst offering the opportunity to further our conceptions of law and broaden the theoretical armoury with which to challenge judicial reasoning in McNally. That is, a ‘good faith’ attempt to further and guarantee transgender freedoms.