Zur Startseite gehen
0,00 €*
Cover: 9780521543279 | The Pi-Calculus | A Theory of Mobile Processes | Sangiorgi (u. a.)
Dekorationsartikel gehören nicht zum Leistungsumfang.
The Pi-Calculus
A Theory of Mobile Processes
Taschenbuch von Davide Sangiorgi (u. a.)
Sprache: Englisch

90,45 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
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.
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.
Inhaltsverzeichnis
Preface; Introduction; Part I. The p-Calculus: 1. Processes; 2. Behavioural equivalence; Part II. Variations of the p-Calculus: 3. Polyadicity and recursion; 4. Behavioural equivalence, continued; 5. Subcalculi; Part III. Typed p-Calculi: 6. Foundations; 7. Subtyping; 8. Advanced type systems; Part IV. Reasoning about Processes Using Types: 9. Groundwork; 10. Behavioural effects of i/o types; 11. Techniques for advanced type systems; Part V. The Higher-Order Paradigm: 12. Higher-order p-calculus; 13. Comparing first-order and higher-order calculi; Part VI. Functions as Processes: 14. The l-calculus; 15. Interpreting l-calculi; 16. Interpreting typed l-calculi; 17. Full abstraction; 18. The local structure of the interpretations; Part VII. Objects and p-Calculus: 19. Semantic definition; 20. Applications; List of notations; Bibliography; Index.
Details
Erscheinungsjahr: 2003
Fachbereich: Datenkommunikation, Netze & Mailboxen
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521543279
ISBN-10: 0521543274
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Sangiorgi, Davide
Walker, David
Hersteller: Cambridge University Press
Maße: 246 x 189 x 32 mm
Von/Mit: Davide Sangiorgi (u. a.)
Erscheinungsdatum: 22.08.2003
Gewicht: 1,136 kg
Artikel-ID: 102511472
Inhaltsverzeichnis
Preface; Introduction; Part I. The p-Calculus: 1. Processes; 2. Behavioural equivalence; Part II. Variations of the p-Calculus: 3. Polyadicity and recursion; 4. Behavioural equivalence, continued; 5. Subcalculi; Part III. Typed p-Calculi: 6. Foundations; 7. Subtyping; 8. Advanced type systems; Part IV. Reasoning about Processes Using Types: 9. Groundwork; 10. Behavioural effects of i/o types; 11. Techniques for advanced type systems; Part V. The Higher-Order Paradigm: 12. Higher-order p-calculus; 13. Comparing first-order and higher-order calculi; Part VI. Functions as Processes: 14. The l-calculus; 15. Interpreting l-calculi; 16. Interpreting typed l-calculi; 17. Full abstraction; 18. The local structure of the interpretations; Part VII. Objects and p-Calculus: 19. Semantic definition; 20. Applications; List of notations; Bibliography; Index.
Details
Erscheinungsjahr: 2003
Fachbereich: Datenkommunikation, Netze & Mailboxen
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521543279
ISBN-10: 0521543274
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Sangiorgi, Davide
Walker, David
Hersteller: Cambridge University Press
Maße: 246 x 189 x 32 mm
Von/Mit: Davide Sangiorgi (u. a.)
Erscheinungsdatum: 22.08.2003
Gewicht: 1,136 kg
Artikel-ID: 102511472
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780240812632 | The Visual Effects Producer | Charles Finance (u. a.) | Taschenbuch
The Visual Effects Producer
Understanding the Art and Business of Vfx
EAN: 9780240812632
Sprache: Englisch
Von/Mit: Charles Finance (u. a.)

47,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781430243656 | Pro WPF 4.5 in C# | Windows Presentation Foundation in .NET 4.5 | Buch
Pro WPF 4.5 in C
Windows Presentation Foundation in .NET 4.5
EAN: 9781430243656
Sprache: Englisch
Von/Mit: Matthew Macdonald

115,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783898644761 | SOA in der Praxis | System-Design für verteilte Geschäftsprozesse
SOA in der Praxis
System-Design für verteilte Geschäftsprozesse
EAN: 9783898644761
Sprache: Deutsch
Von/Mit: Nicolai Josuttis

39,00 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781838551216 | Advanced Python Programming | Gabriele Lanaro (u. a.) | Taschenbuch
Advanced Python Programming
EAN: 9781838551216
Sprache: Englisch
Von/Mit: Gabriele Lanaro (u. a.)

52,70 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781789951295 | Flask Framework Cookbook, Second Edition | Shalabh Aggarwal | Buch
Flask Framework Cookbook, Second Edition
EAN: 9781789951295
Sprache: Englisch
Von/Mit: Shalabh Aggarwal

79,50 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780137370443 | Cisco Certified DevNet Professional DEVCOR 350-901 Official Cert Guide
Cisco Certified DevNet Professional DEVCOR 350-901 Official Cert Guide
EAN: 9780137370443
Sprache: Englisch
Von/Mit: Hazim Dahir (u. a.)

72,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781098106300 | Cloud Native Security Cookbook | Recipes for a Secure Cloud | Armitage
Cloud Native Security Cookbook
Recipes for a Secure Cloud
EAN: 9781098106300
Sprache: Englisch
Von/Mit: Josh Armitage

62,70 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780367767624 | Software Testing | A Craftsman's Approach, Fifth Edition | Taschenbuch
Software Testing
A Craftsman's Approach, Fifth Edition
EAN: 9780367767624
Sprache: Englisch
Von/Mit: Paul C. Jorgensen (u. a.)

61,20 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9798868800535 | API Management | Brajesh De | Taschenbuch | Paperback | xix | Englisch
API Management
An Architect's Guide to Developing and Managing APIs for Your Organization
EAN: 9798868800535
Sprache: Englisch
Von/Mit: Brajesh De

58,84 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781098147860 | Hands-On Salesforce Data Cloud | Joyce Kay Avila | Taschenbuch | 2024
Hands-On Salesforce Data Cloud
Implementing and Managing a Real-Time Customer Data Platform
EAN: 9781098147860
Sprache: Englisch
Von/Mit: Joyce Kay Avila

65,75 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...