Models for Concurrency

Author: Uri Abraham
Edition: 1
Binding: Hardcover
ISBN: 905699199X

Models for Concurrency (Algebra, Logic and Applications, Vol 11)

Concurrent systems are generally understood in terms of behavioral notions. Get Models for Concurrency computer books for free.
Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations.
The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question Check Models for Concurrency our best computer books for 2013. All books are available in pdf format and downloadable from rapidshare, 4shared, and mediafire.

Models for Concurrency Download

The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question

Related Computer Books