Distributed Systems Analysis with CCS -- ERRATA

p. 73

The indices of the actions in Figure 5.3 should not be italicized.

p. 74, fourth line from the bottom

There should be no space between 'mutate' and its subscripts.

p. 75, in definition of agent Mem

Selection of the ith element of tuple T is written as T subscript i but should be written T#i.

p. 76, in definition of agent Collector, line 8

The action setcolor has parameter black, but should also have subscript j.

p. 77, exercise 5.3

CtMem should be just Mem.

p. 81, throughout revised definition of agent Mem

Selection of the ith element of tuple T is written as T subscript i but should be written T#i.

p. 115, in definition of DetectsFail

Fixed-point variable Y should occur just after the modal operator [-det,\espilon].

p. 139, section B.8

The double quotes should appear in typewriter font in both the input and save command descriptions.

p. 140, section B.11

The web page for obtaining the Concurrency Workbench now has URL http://www.dcs.ed.ac.uk/home/cwb/index.html.

p. 152, section C.6

The web page for obtaining the value-passing CCS translator now has URL http://www.dcs.ed.ac.uk/home/cwb/index.html.