Wyniki wyszukiwania:

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behavior are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behavior of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical theory of the behavior of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this...

"Outside the Lines explores the personal and historical forces that have shaped the work of a dozen gifted poets. The answers given to Hennessy's astute, perfectly tailored questions remind a reader how exciting poetry can be, and how writers create, through language, the world as we have never known it. These adventuresome interviews will stir anyone who cares about the making of art."
---Bernard Cooper, author of Maps to Anywhere
Editor Christopher Hennessy gathers interviews with some of the most significant figures in contemporary American poetry. While each poet is...