Definition and basic properties of the deva meta-calculus Matthias Weber OriginalPaper Pages: 391 - 431
Communicating processes with value-passing and assignments M. HennessyA. Ingólfsdóttir OriginalPaper Pages: 432 - 466
A CCS-based investigation of deadlock in a multi-process electronic mail system Gordon Brebner OriginalPaper Pages: 467 - 479