Cover; Half-title; Title; Copyright; Dedication; Contents; Preface; Acknowledgements; 1 Inductive principles; 2 The asynchronous PI-CALCULUS; 3 Types for API; 4 Types and behaviour in API; 5 A distributed asynchronous pi-calculus; 6 Behavioural equivalences for aDpi; Sources; List of figures; Notation; Bibliography; Index
Summary
This book proposes a formal mathematical language for describing the behaviour of mobile agents in a distributed world
