Coronavirus (Covid-19): Latest updates and information
Skip to main content Skip to navigation

Files for download

  Name Description File Size Last Editor Last Updated
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