Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
The Pi-Calculus: A Theory of Mobile Processes

Buy

Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours. The book serves both as a reference for the theory and as an extended demonstration of how to use pi-calculus to describe systems and analyse their properties. It covers the basic theory of pi-calculus, typed pi-calculi, higher-order processes, the relationship between pi-calculus and lambda-calculus, and applications of pi-calculus to object-oriented design and programming. The book is written at the graduate level, assuming no prior acquaintance with the subject, and is intended for computer scientists interested in mobile systems.

(HTML tags aren't allowed.)

Lasers in the Preservation of Cultural Heritage: Principles and Applications (Optics and Optoelectronics)
Lasers in the Preservation of Cultural Heritage: Principles and Applications (Optics and Optoelectronics)
The book … describes how laser parameters associated with cleaning are chosen and the physics involved in various surface ablation processes. Key conservation practices are also addressed, such as removal of black encrustation from stone, varnish from paintings, and the laser cleaning of metals and paper. It details the use and benefit of...
Empirical Methods and Studies in Software Engineering: Experiences from ESERNET
Empirical Methods and Studies in Software Engineering: Experiences from ESERNET
Nowadays, societies crucially depend on high-quality software for a large part of their functionalities and activities. Therefore, software professionals, researchers, managers, and practitioners alike have to competently decide what software technologies and products to choose for which purpose.

For various reasons, systematic empirical...

Streaming Media: Building and Implementing a Complete Streaming System
Streaming Media: Building and Implementing a Complete Streaming System
A complete toolkit to successfully develop and implement streaming media on the Web

From hands-on training and distance learning to teleconferencing and product demonstrations, streaming media is providing businesses with a whole new world of opportunity. Written by one of the leading experts in the field, this book will provide you with all...


The Swarm: A Novel
The Swarm: A Novel

For more than two years, one book has taken over Germany's hardcover and paperback bestseller lists, reaching number one in Der Spiegel and setting off a frenzy in bookstores: The Swarm.

Whales begin sinking ships. Toxic, eyeless crabs poison Long Island's water supply. The North Sea shelf collapses, killing thousands in...

Corporate Governance in the Banking Sector in China (CSR, Sustainability, Ethics & Governance)
Corporate Governance in the Banking Sector in China (CSR, Sustainability, Ethics & Governance)
Focusing on the dichotomous and comparative analysis of the legitimacy, paradigm, and operating frames of bank governance and its reproduction in the new financial regime following the global financial crisis, this book examines in depth how corporate governance in bank institutions is legitimized, justified, and delivered in diversified...
Emerging Trends And Challenges in Information Technology Management
Emerging Trends And Challenges in Information Technology Management
Many theoretical development practices exist for creating multimedia systems. Most of these development models are orientated towards building traditional information systems, where the requirements are usually well understood. Multimedia systems, like the industry itself, are evolving rapidly, therefore new tools and techniques are constantly...
©2019 LearnIT (support@pdfchm.net) - Privacy Policy