Hennessy, Matthew

A distributed pi-calculus / Matthew Hennessy - Cambridge : Cambridge University Press, c2007 - xvi, 259 p. ; 26 cm.

Includes bibliographical references and index

9780521873307 (hbk.) 0521873304 (hbk.)


Electronic data processing--Distributed processing
Pi-calculus