Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
William Roscoe. Captain James Cook. William Congreve. Dr. John Fothergill
description not available right now.
Lives of Northern Worthies: William Roscoe. Captain James Cook. William Congreve. Dr. John Fothergill
description not available right now.
Understanding Concurrent Systems
CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of the family of process algebras, the concepts of communication and interaction are presented in an algebraic style. An invaluable reference on the state of the art in CSP, Understanding Concurrent Systems also serves as a comprehensive introduction to the field, in addition to providing material for a number of more advan...
Behold the Stars
White Flag for Earthmen Man had discovered a means of colonising the galaxy. Through a system of instantaneous matter transmission, men, machines, anything, could be sent light years away in seconds! Only, men were not the only beings in the galaxy who were expanding, and at 200 light years from Earth the alien Gershmi people made their claims clear, with guns! It would have been a fair fight between equally matched races, had not the very matter transmitter boxes which had made mankind's expansion possible, suddenly began to put men back together, 200 light years from Earth, with their will to fight removes, so that Earthmen were marching with white flags of truce straight into Gershmi fire!
Communicating Sequential Processes. The First 25 Years
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare’s paper “Communicating Sequential Processes” is today widely regarded as one of the most in?uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society’s Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ideas on CSP at one of its ?rs...
