In this paper we solve the following problems:• we give a formal model of a large class of mereologies, with simple entities modelled as parts and their relations by connectors; • we show that that class applies to a wide variety of societal infrastructure component domains; • we show that there is a class of CSP channel and process structures that correspond to the class of mereologies where mereology parts become CSP processes and connectors become channels; and where simple entity attributes become process states.We have yet to prove to what extent the models satisfy the axiom systems for mereologies of, for example, [13] and a calculus of individuals [14]. Mereology is the study, knowledge and practice of part-hood relations: of the relations of part to whole and the relations of part to part within a whole. By parts we shall here understand simple entities -of the kind illustrated in this paper. Manifest simple entities of domains are either continuous (fluid, gaseous) or discrete (solid, fixed), and if the latter, then either atomic or composite. It is how the sub-entities of a composite entity are "put together" that "makes up" a mereology of that composite entity -at least such as we shall study the mereology concept. In this paper we shall study some ways of modelling the mereology of composite entities. One way of modelling mereologies is using sorts, observer functions and axioms (McCarthy style), another is using CSP.
IFIP WG2.3: A Laudatio and a MemoryThis paper is in honour of Sir Tony Hoare. And the paper is in memory of Douglas Taylor Ross (1929Ross ( -2007. The latter speculated quite a lot about mereologies at many IFIP WG 2.3 meetings; not quite all members and observers understood everything; certainly not I. But I somehow knew it was a relevant issue. I think I now understand what Doug was saying. Here then, in this paper, is my interpretation of Doug's discourses. The former, today's celebrant, has given us many deep, yet simple, hence elegant, concepts. CSP is one of them. Therefore CSP will be applied, at the end of the paper, to express mereologies. IFIP WG 2.3 meetings in my days certainly weren't boring. I think that today I present a simple explanation of what then appeared as a not so simple concept. And I think that I can relate it to CSP.