Communicating and mobile systems: the pi calculus
Auteur :
Milner, Robin
Éditeur :
Cambridge University Press
ISBN :
9780521643207
Date de publication :
20 mai 1999
Dimensions :
23,5 x 15,6 x 1,5 cm
Poids :
355 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Robin Milner introduces a new way of modelling communication that reflects its central position in computing. Everything is introduced by means of examples but the aim of the book is to develop the π-calculus, a theory whose scope includes the internet just as much as programs, algorithms and programming languages.