Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=HENNESSY,Matthew
cover
A Distributed Pi-Calculus
Comment Share
HENNESSY,Matthew

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing 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…

Edition
-
ISBN/ISSN
9780511611063
Collation
-
Series Title
-
Call Number
-