The Pi-Calculus

The Pi-Calculus

A Theory of Mobile Processes

Versandkostenfrei!
Versandfertig in 1-2 Wochen
80,99 €
inkl. MwSt.
PAYBACK Punkte
40 °P sammeln!
Graduate text on the p-calculus, a mathematical model of mobile computing systems.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...