Skip navigation

Carlos A. Varela

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

Titles by This Author

A Foundational Approach

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 π-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.