A Distributed Pi-Calculus


LOOKING TO PLACE A BULK ORDER?CLICK HERE

Piracy-free
Piracy-free
Assured Quality
Assured Quality
Secure Transactions
Secure Transactions
Fast Delivery
Fast Delivery
Sustainably Printed
Sustainably Printed
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.

About The Book

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.
downArrow

Details