{"product_id":"the-pi-calculus-a-theory-of-mobile-processes-paperback-9780521543279","title":"The Pi-Calculus; A Theory of Mobile Processes (Paperback) 9780521543279","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eThe Pi-Calculus\u003c\/font\u003e\u003cbr\u003e\r\n\u003cfont size=\"5\"\u003eA Theory of Mobile Processes\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cem\u003eGraduate text on the p-calculus, a mathematical model of mobile computing systems.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eDavide Sangiorgi (Author), David Walker (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521543279, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 16 October 2003\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e596 pages\u003cbr\u003e24.6 x 18.9 x 3.1 cm, 1.067 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eMobile 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.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePreface\u003cbr\u003e Introduction\u003cbr\u003e Part I. The p-Calculus: 1. Processes\u003cbr\u003e 2. Behavioural equivalence\u003cbr\u003e Part II. Variations of the p-Calculus: 3. Polyadicity and recursion\u003cbr\u003e 4. Behavioural equivalence, continued\u003cbr\u003e 5. Subcalculi\u003cbr\u003e Part III. Typed p-Calculi: 6. Foundations\u003cbr\u003e 7. Subtyping\u003cbr\u003e 8. Advanced type systems\u003cbr\u003e Part IV. Reasoning about Processes Using Types: 9. Groundwork\u003cbr\u003e 10. Behavioural effects of i\/o types\u003cbr\u003e 11. Techniques for advanced type systems\u003cbr\u003e Part V. The Higher-Order Paradigm: 12. Higher-order p-calculus\u003cbr\u003e 13. Comparing first-order and higher-order calculi\u003cbr\u003e Part VI. Functions as Processes: 14. The l-calculus\u003cbr\u003e 15. Interpreting l-calculi\u003cbr\u003e 16. Interpreting typed l-calculi\u003cbr\u003e 17. Full abstraction\u003cbr\u003e 18. The local structure of the interpretations\u003cbr\u003e Part VII. Objects and p-Calculus: 19. Semantic definition\u003cbr\u003e 20. Applications\u003cbr\u003e List of notations\u003cbr\u003e Bibliography\u003cbr\u003e Index.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Mathematical theory of computation [\u003ca title=\"See our other books on Mathematical theory of computation\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20theory%20of%20computation%20%5BUYA%5D%22\"\u003eUYA\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":45999602630936,"sku":"9780521543279","price":54.78,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521543279i_e40dbc09-8c8f-4e72-bf50-7b3b8a05b039.jpg?v=1691369414","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/the-pi-calculus-a-theory-of-mobile-processes-paperback-9780521543279","provider":"Freshly Printed Books","version":"1.0","type":"link"}