Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours. The book serves both as a reference for the theory and as an extended demonstration of how to use pi-calculus to describe systems and analyse their properties. It...

This revised and expanded collection of essays from FIELD magazine provides a rich and stimulating perspective on the state of contemporary poetry, as seen through the eyes of the poets themselves.

By tracing the 400-year evolution of the legal, political and operational dimensions of American federalism and its intergovernmental relationships, the author presents a clear view of the difficulties confronting this form of governance. Both a history of American federalism and an analysis of its current somewhat enfeebled condition, this updated edition identifies the decline of the federalist ideal with the emergence of activist government in the 1960s and its persistence despite attempted retrenchment up to the present administration.

The second of two books exploring the buildings of the north-east of Scotland, this volume surveys Aberdeen - the nation's third-largest city - and the southern area of Aberdeenshire, including the former county of Kincardineshire. Among Aberdeen's architectural highlights are the great medieval cathedral and burgh church of St Nicholas, the buildings of King's College, and magnificent civic, commercial and domestic buildings of the Victorian and Edwardian age. In addition, the book showcases not only Aberdeenshire's greatest houses and castles including Crathes, Craigievar and Balmoral, the...