As the operations of the world become more and more dependent on highly interconnected, massively complex, networked systems of computational devices, the need to develop a mathematical understanding of their properties and behaviours is increasingly pressing. Our approach, described in this monograph, is to combine the compositionality of formal specification -- using techniques from algebra, computation theory, logic, and probability theory -- with the control of level of abstraction afforded by the classical mathematical modelling method.

Aimed primarily at non-regulatory lawyers this book provides a practical guide to transactions involving utilities and in particular the procurement of goods and services from utilities (rather than by utilities). Focusing on the law of England and Wales, the book covers the regulation of utilities including gas, electricity, water, sewerage, and telecommunications. It also addresses the relevant competition law as well as considering matters relating to renewable energy, consumer protection, property, and planning issues commonly encountered in relation to utilities. The regulatory position is considered at every stage of development of the utility network starting with the purchaser's initial discussions with the utility, then the construction of the network, the flowing of gas, electricity or water, and concluding with the disconnection of the end customer. Practically focused, the book draws upon the author's experience working with utilities, developers, funders and contractors at all levels of the supply chain, on projects ranging from three-unit housing developments to some of the world's most ambitious energy infrastructure projects.