Figure 0.1 Tax collection: pure simplicity
Figure 0.2 Are the world’s processes really this neat and tidy?
Figure 2.1 The RAD notation
Figure 2.2 A RAD for a simple process
Figure 2.3 Instantiating the Task Force role
Figure 2.4 Roles with pre-existing instances
Figure 2.5 A computer system as a role
Figure 2.6 Labelling a state
Figure 2.7 An action in a role with its adjoining states
Figure 2.8 A role instance thread before and after an action
Figure 2.9 The marking before a three-way part refinement
Figure 2.10 Closing a four-way part refinement
Figure 2.11 State recombination at the end of a three-way part refinement
Figure 2.12 A four-way part refinement where only two threads recombine
Figure 2.13 A replicated part refinement
Figure 2.14 The replicated ...