/fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/ Contents of /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/ en-GB (C) 2026 University of ÌÇÐÄTV Mon, 23 Feb 2026 07:51:21 GMT http://blogs.law.harvard.edu/tech/rss SiteBuilder2, University of ÌÇÐÄTV, http://go.warwick.ac.uk/sitebuilder /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/abstract.pdf Abstract [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/abstract.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/contents.pdf Contents [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/contents.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/acknowledgements.pdf Acknowledgements [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/acknowledgements.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/declaration.pdf Declaration [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/declaration.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/1.pdf Chapter 1: Parallel programming [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/1.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/2.pdf Chapter 2: Definitive programming and the abstract definitive machine [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/2.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/3.pdf Chapter 3: Implementation issues [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/3.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/4.pdf Chapter 4: Blocks example [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/4.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/5.pdf Chapter 5: Modelling and simulating concurrent systems [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/5.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/6.pdf Chapter 6: Telephone example [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/6.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/7.pdf Chapter 7: Jugs example [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/7.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/8.pdf Chapter 8: Appraisal and comparison [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/8.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/9.pdf Chapter 9: Conclusion [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/9.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/addendum.pdf Addendum [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/addendum.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/references.pdf References [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/references.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a1.pdf Appendix 1: Describing concurrent behaviour [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a1.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a2.pdf Appendix 2: Reactive systems [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a2.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a2_picture.pdf Picture from appendix 2 [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a2_picture.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a3.pdf Appendix 3: User documentation [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a3.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a4.pdf Appendix 4: Maintenance documentation [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:10 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a4.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a5.pdf Appendix 5: Blocks testing [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a5.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a6.pdf Appendix 6: Door controller testing [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a6.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a7.pdf Appendix 7: Telephone testing [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a7.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a8.pdf Appendix 8: Jugs testing [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a8.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a9.pdf Appendix 9: Source code [empty PDF - not scanned in] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a9.pdf /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a10.pdf Appendix 10: Glossary of terms [NB imperfect translation to PDF] Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/mscbyresearch/mslade/files/a10.pdf