Errata
On the Application of the Pi-Calculus to BPM
- Page 30 - The second example after definition 2.16: The agents are not open d-bisimilar. This is due to the fact that y is not a free name of A (in contrast to the example above). Hence, a substitution {x/y} is possible.
- Page 159 - Example 7.15: The correct sets for C and L are
- C = { (C3,false), (false,C5), (C5,false), (false,C7), (false,C8) }
- L = { ((C3,false), broker(ch)), ((false,C5),ch(bank)), ((C5,false),bank(req,acc,rej)), ((false,C7),acc), ((false,C8),rej) }