Detail produktu

Produkt mají v nabídce:

Bookshop
2 344 Kč
Do eshopu

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.

Podobné produkty