Categories
Download The Pi-Calculus: A Theory of Mobile Processes

Free download The Pi-Calculus: A Theory of Mobile Processes

  • Author: Davide Sangiorgi
  • Pages: 592
  • Language: English
  • ISBN/ASIN: 0521781779
  • ISBN13: 9780521781770
  • Upload date: 26-05-2017, 16:10
  • Category: Mathematics

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.

Download links

Abuse


E-book formats: The Pi-Calculus: A Theory of Mobile Processes PDF, ePub, mobi, txt, The Pi-Calculus: A Theory of Mobile Processes doc, pdb, djvu, fb2, ibooks, azw3, azw, kf8, rtf

The Pi-Calculus: A Theory of Mobile Processes free download for iPhone/iPod/iPad, Android, BlackBerry or PC/MAC. Free download links from: Dropbox.com, Zippyshare.com, Depositfiles.com, Uploading.com, Crocko.com, FileFactory.com

Related eBooks

Download Amsco's AP Calculus AB/BC: Preparing for the Advanced Placement ExaminationsAmsco's AP Calculus AB/BC: Preparing for the Advanced Placement Examinations Maxine Lifshitz Download Understanding Calculus (Ieee Press Understanding Science & Technology Series)Understanding Calculus (Ieee Press Understanding Science & Technology Series) H. S. Bear Download The How and Why of One Variable CalculusThe How and Why of One Variable Calculus Amol Sasane Download The Functional Interpretation of Logical DeductionThe Functional Interpretation of Logical Deduction Ruy J. G. B. de Queiroz Download Stochastic Calculus and Applications, 2nd editionStochastic Calculus and Applications, 2nd edition Samuel N. Cohen Download Pre-Calculus Workbook For Dummies (2nd Edition)Pre-Calculus Workbook For Dummies (2nd Edition) Yang Kuang PhD Download Operator Calculus On Graphs: Theory and Applications in Computer ScienceOperator Calculus On Graphs: Theory and Applications in Computer Science Rene Schott Download Meta-Calculus: Differential and IntegralMeta-Calculus: Differential and Integral Jane Grossman Download Fuzzy Relational Calculus: Theory, Applications And SoftwareFuzzy Relational Calculus: Theory, Applications And Software Ketty Peeva Download Diffusion Processes and Stochastic Calculus (Ems Textbooks in Mathematics)Diffusion Processes and Stochastic Calculus (Ems Textbooks in Mathematics) Fabrice Baudoin Download Calculus, 7th EditionCalculus, 7th Edition James Stewart Download Calculus Without Derivatives (Graduate Texts in Mathematics)Calculus Without Derivatives (Graduate Texts in Mathematics) Jean-Paul Penot Download Calculus Deconstructed: A Second Course in First-Year Calculus (Mathematical Association of America Textbooks)Calculus Deconstructed: A Second Course in First-Year Calculus (Mathematical Association of America Textbooks) Zbigniew H. Nitecki Download Advanced Calculus: Theory and Practice (Textbooks in Mathematics)Advanced Calculus: Theory and Practice (Textbooks in Mathematics) John Srdjan Petrovic Download Microeconomics: Theory and Applications with CalculusMicroeconomics: Theory and Applications with Calculus Jeffrey M. Perloff Download Microeconomics with Calculus 3rd By Jeffrey M. Perloff 3eMicroeconomics with Calculus 3rd By Jeffrey M. Perloff 3e Jeffrey M. Perloff Download Advances in Modelling and Control of Non-integer-Order Systems: 6th Conference on Non-integer Order Calculus and Its Applications, 2014 Opole, Poland (Lecture Notes in Electrical Engineering)Advances in Modelling and Control of Non-integer-Order Systems: 6th Conference on Non-integer Order Calculus and Its Applications, 2014 Opole, Poland (Lecture Notes in Electrical Engineering) Krzysztof J. Latawiec and Marian Ukaniszyn Download The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Richard Moot