The Pi-Calculus: A Theory of Mobile Processes - Rilegato

Sangiorgi, Davide; Walker, David

Rilegato

ISBN 10: 0521781779 ISBN 13: 9780521781770

Casa editrice: Cambridge University Press, 2001

Riassunto

Graduate text on the p-calculus, a mathematical model of mobile computing systems.

Su questo libro

Descrizione del libro

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.

Contenuti

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.

Dettagli dell?edizione

• Editore: Cambridge University Press
• Data di pubblicazione: 2001
• Lingua: Inglese
• ISBN 10: 0521781779
• ISBN 13: 9780521781770
• Rilegatura: Copertina rigida
• Numero di pagine: 592
• Contatto del produttore: non disponibile