An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.

Starting from the premise that understanding the foundations of concurrent programming is key to developing distributed computing systems, this book first presents the fundamental theories of concurrent computing and then introduces the programming languages that help develop distributed computing systems at a high level of abstraction. The major theories of concurrent computation�including the p-calculus, the actor model, the join calculus, and mobile ambients�are explained with a focus on how they help design and reason about distributed and mobile computing systems. The book then presents programming languages that follow the theoretical models already described, including Pict, SALSA, and JoCaml. The parallel structure of the chapters in both part one (theory) and part two (practice) enable the reader not only to compare the different theories but also to see clearly how a programming language supports a theoretical model.

The book is unique in bridging the gap between the theory and the practice of programming distributed computing systems. It can be used as a textbook for graduate and advanced undergraduate students in computer science or as a reference for researchers in the area of programming technology for distributed computing. By presenting theory first, the book allows readers to focus on the essential components of concurrency, distribution, and mobility without getting bogged down in syntactic details of specific programming languages. Once the theory is understood, the practical part of implementing a system in an actual programming language becomes much easier.

About the Author

Carlos A. Varela is Associate Professor in the Department of Computer Science at Rensselaer Polytechnic Institute.

Gul Agha is Director of the Open Systems Laboratory at the University of Illinois at Urbana-Champaign and an Associate Professor in the Department of Computer Science.

"About this title" may belong to another edition of this title.

Store Description

St Vinnie's Charitable Books is the online book storefront for St Vincent de Paul Society of Lane County Oregon. We are a charitable organization that serves over 84,000 people annually through homeless shelters, affordable housing and emergency services. We are passionate about books and sell over 1 million books annually throughout though our retail operations.

Visit Seller's Storefront

Seller's business information

St Vincent de Paul of Lane County
2890 Chad Drive, Eugene, OR, 97408, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described
on the Abebooks web sites. If you're dissatisfied with your
purchase (Incorrect Book/Not as Described/Damaged) or if the
order hasn't arrived, you're eligible for a refund within 30
days of the estimated delivery date. If you've changed your
mind about a book that you've ordered, please use the Ask
bookseller a question link to contact us and we'll respond
within 2 business days.

Shipping Terms

Orders usually ship within 1 business day. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.