Communicating and Mobile Systems: The Pi-Calculus
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
"Communicating and Mobile Systems: The Pi-Calculus" von Robin Milner ist ein grundlegendes Werk in der Informatik, das sich mit der Modellierung und Analyse von dynamischen Kommunikationssystemen beschäftigt. Das Buch führt den Pi-Kalkül ein, eine mathematische Theorie zur Beschreibung und Analyse mobiler Systeme, bei denen sich die Struktur der Verbindungen zwischen Prozessen ändern kann. Milner erläutert die Prinzipien des Pi-Kalküls und zeigt, wie er verwendet werden kann, um sowohl die Kommunikation als auch die Mobilität in verteilten Systemen zu modellieren. Der Fokus liegt darauf, wie Prozesse interagieren und sich dynamisch rekonfigurieren können. Durch zahlreiche Beispiele und formale Definitionen bietet das Buch eine tiefgehende Einführung in die Theorie hinter modernen Kommunikationsprotokollen und mobilen Anwendungen. Es richtet sich an Wissenschaftler und Studenten der Informatik, insbesondere jene mit Interesse an theoretischer Informatik und Prozessalgebren.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
