PakCat catalogue record

A distributed pi-calculus

By Hennessy, Matthew

Bibliographic details

Subjects

Electronic data processing, Pi-calculus.