| |
| PDF document |
abstract.pdf
|
Abstract [NB imperfect translation to PDF]
|
(2 KB)
|
|
30/11/06
|
| PDF document |
contents.pdf
|
Contents [NB imperfect translation to PDF]
|
(9 KB)
|
|
30/11/06
|
| PDF document |
acknowledgements.pdf
|
Acknowledgements [NB imperfect translation to PDF]
|
(2 KB)
|
|
30/11/06
|
| PDF document |
declaration.pdf
|
Declaration [NB imperfect translation to PDF]
|
(2 KB)
|
|
30/11/06
|
| PDF document |
1.pdf
|
Chapter 1: Parallel programming [NB imperfect translation to PDF]
|
(39 KB)
|
|
30/11/06
|
| PDF document |
2.pdf
|
Chapter 2: Definitive programming and the abstract definitive machine [NB imperfect translation to PDF]
|
(31 KB)
|
|
30/11/06
|
| PDF document |
3.pdf
|
Chapter 3: Implementation issues [NB imperfect translation to PDF]
|
(26 KB)
|
|
30/11/06
|
| PDF document |
4.pdf
|
Chapter 4: Blocks example [NB imperfect translation to PDF]
|
(27 KB)
|
|
30/11/06
|
| PDF document |
5.pdf
|
Chapter 5: Modelling and simulating concurrent systems [NB imperfect translation to PDF]
|
(49 KB)
|
|
30/11/06
|
| PDF document |
6.pdf
|
Chapter 6: Telephone example [NB imperfect translation to PDF]
|
(20 KB)
|
|
30/11/06
|
| PDF document |
7.pdf
|
Chapter 7: Jugs example [NB imperfect translation to PDF]
|
(17 KB)
|
|
30/11/06
|
| PDF document |
8.pdf
|
Chapter 8: Appraisal and comparison [NB imperfect translation to PDF]
|
(53 KB)
|
|
30/11/06
|
| PDF document |
9.pdf
|
Chapter 9: Conclusion [NB imperfect translation to PDF]
|
(9 KB)
|
|
30/11/06
|
| PDF document |
addendum.pdf
|
Addendum [NB imperfect translation to PDF]
|
(9 KB)
|
|
30/11/06
|
| PDF document |
references.pdf
|
References [NB imperfect translation to PDF]
|
(15 KB)
|
|
30/11/06
|
| PDF document |
a1.pdf
|
Appendix 1: Describing concurrent behaviour [NB imperfect translation to PDF]
|
(16 KB)
|
|
30/11/06
|
| PDF document |
a2.pdf
|
Appendix 2: Reactive systems [NB imperfect translation to PDF]
|
(10 KB)
|
|
30/11/06
|
| PDF document |
a2_picture.pdf
|
Picture from appendix 2 [NB imperfect translation to PDF]
|
(5 KB)
|
|
30/11/06
|
| PDF document |
a3.pdf
|
Appendix 3: User documentation [NB imperfect translation to PDF]
|
(12 KB)
|
|
30/11/06
|
| PDF document |
a4.pdf
|
Appendix 4: Maintenance documentation [NB imperfect translation to PDF]
|
(46 KB)
|
|
30/11/06
|
| PDF document |
a5.pdf
|
Appendix 5: Blocks testing [NB imperfect translation to PDF]
|
(9 KB)
|
|
30/11/06
|
| PDF document |
a6.pdf
|
Appendix 6: Door controller testing [NB imperfect translation to PDF]
|
(17 KB)
|
|
30/11/06
|
| PDF document |
a7.pdf
|
Appendix 7: Telephone testing [NB imperfect translation to PDF]
|
(39 KB)
|
|
30/11/06
|
| PDF document |
a8.pdf
|
Appendix 8: Jugs testing [NB imperfect translation to PDF]
|
(18 KB)
|
|
30/11/06
|
| PDF document |
a9.pdf
|
Appendix 9: Source code [empty PDF - not scanned in]
|
(2 KB)
|
|
30/11/06
|
| PDF document |
a10.pdf
|
Appendix 10: Glossary of terms [NB imperfect translation to PDF]
|
(7 KB)
|
|
30/11/06
|
