The Pi-calculus - A Theory of Mobile Processes

Zusammenfassung A detailed text on the p-calculus! a mathematical model highly suited to describing mobile systems! the components of which communicate and change their structure. 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.

Product details

• Authors: Davide Sangiorgi, Sangiorgi Davide, David Walker
• Publisher: Cambridge University Press Academic
• Languages: English
• Product format: Paperback / Softback
• Released: 16.10.2003
• EAN: 9780521543279
• ISBN: 978-0-521-54327-9
• Dimensions: 190 mm x 242 mm x 31 mm
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Data communication, networks; Mathematical theory of computation, Computer networking and communications, COMPUTERS / Languages / General