Communicating and mobile systems: the pi calculus
Auteur :
Milner, Robin
Éditeur :
Cambridge University Press
ISBN :
9780521658690
Date de publication :
20 mai 1999
Dimensions :
22,7 x 15,3 x 1,3 cm
Poids :
240 g
Format :
Trade paperback (US)
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.