The [pi]-calculus : a theory of mobile processes

Description

The growing impact of nonlinear science on biology and medicine is fundamentally changing our view of living organisms and disease processes. This book introduces the application to biomedicine of a broad range of concepts from nonlinear dynamics, such as self-organization, complexity, coherence, stochastic resonance, fractals, and chaos. Written by leading figures in the field, coverage details experimental and theoretical research, as well as the emerging technological possibilities such as nonlinear control techniques for treating pathological biodynamics, including heart arrhythmias and epilepsy. Self-Organized Biological Dynamics and Nonlinear Control will attract the interest of professionals and students from a wide range of disciplines, including physicists, chemists, biologists, sensory physiologists and medical researchers such as cardiologists, neurologists and biomedical engineers Pt. I. The [pi]-calculus. 1. Processes. 2. Behavioural Equivalence -- Pt. II. Variations of the [pi]-calculus. 3. Polyadicity and Recursion. 4. Behavioural Equivalence, continued. 5. Subcalculi -- Pt. III. Typed [pi]-calculi. 6. Foundations. 7. Subtyping. 8. Advanced Type Systems -- Pt. IV. Reasoning about Processes using Types. 9. Groundwork. 10. Behavioural Effects of i/o types. 11. Techniques for Advanced Type Systems -- Pt. V. The Higher-Order Paradigm. 12. Higher-Order [pi]-calculus. 13. Comparing First-Order and Higher-Order Calculi -- Pt. VI. Functions as Processes. 14. The [lambda]-calculus. 15. Interpreting [lambda]-calculi. 16. Interpreting Typed [lambda]-calculi. 17. Full Abstraction