equal
deleted
inserted
replaced
4 Copyright 2001 University of Cambridge |
4 Copyright 2001 University of Cambridge |
5 *) |
5 *) |
6 |
6 |
7 header{*The priority system*} |
7 header{*The priority system*} |
8 |
8 |
9 theory Priority = PriorityAux: |
9 theory Priority imports PriorityAux begin |
10 |
10 |
11 text{*From Charpentier and Chandy, |
11 text{*From Charpentier and Chandy, |
12 Examples of Program Composition Illustrating the Use of Universal Properties |
12 Examples of Program Composition Illustrating the Use of Universal Properties |
13 In J. Rolim (editor), Parallel and Distributed Processing, |
13 In J. Rolim (editor), Parallel and Distributed Processing, |
14 Spriner LNCS 1586 (1999), pages 1215-1227.*} |
14 Spriner LNCS 1586 (1999), pages 1215-1227.*} |