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...
This volume contains a selection of early works by Yevgeny Alexandrovich Yevtushenko who blazed a trail for a generation of Soviet poets with a confident poetic voice that moves effortlessly between social and personal themes. 'Zima Junction' vividly describes his idyllic childhood in Siberia and his impressions of home after a long absence in Moscow. Private moments are captured in 'Waking', on the joys of discovering the unexpected in a lover, and 'Birthday', on a mother's concern for her son, while 'Encounter' depicts an unexpected meeting with Hemingway in Copenhagen. 'The Companion' and...
This volume contains a selection of early works by Yevgeny Alexandrovich Yevtushenko who blazed a trail for a generation of Soviet poets with a confid...
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...