Communication is a fundamental and integral part of computing, whether between different computers on a network, or between components within a single computer. In this book Robin Milner introduces a new way of modelling communication that reflects its position. He treats computers and their programs as themselves built from communicating parts, rather than adding communication as an extra level of activity. Everything is introduced by means of examples, such as mobile phones, job schedualers, vending machines, data structures, and the objects of object-oriented programming. But the aim of...
Communication is a fundamental and integral part of computing, whether between different computers on a network, or between components within a single...
Icon and Devotion offers the first extensive presentation in English of the making and meaning of Russian icons. The craft of icon-making is set into the context of forms of worship that emerged in the Russian Orthodox Church in the mid-seventeenth century. Oleg Tarasov shows how icons have held a special place in Russian consciousness because they represented idealized images of Holy Russia. He also looks closely at how and why icons were made. Wonder-working saints and the leaders of such religious schisms as the Old Believers appear in these pages, which are illustrated with...
Icon and Devotion offers the first extensive presentation in English of the making and meaning of Russian icons. The craft of icon-making is se...
Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor.One purpose of a language definition is to establish a theory of meanings upon which the understanding of particular programs may rest. To properly define a programming language, it is...
Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the be...