The pi-calculus differs from other models of communicating behaviour mainly in its treatment of m...

Standard ML is a general-purpose programming language designed for large projects. This book prov...

The world is increasingly populated with interactive agents distributed in space, real or abstrac...

First published in 1996, this collection of essays by distinguished computer scientists celebrate...

First published in 1996, this collection of essays by distinguished computer scientists celebrate...

The world is increasingly populated with interactive agents distributed in space, real or abstrac...

The pi-calculus differs from other models of communicating behaviour mainly in its treatment of m...