Produkt mají v nabídce:
Distributed Pi-Calculus - Hennessy, Matthew (University of Sussex)
This book proposes a formal mathematical language, a distributed pi-calculus called Dpi, for describing, at varying levels of abstraction, the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct.