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...
prečítať celé
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.
Skryť popis