/fac/sci/dcs/research/em/publications/phd/syung/files/ Contents of /fac/sci/dcs/research/em/publications/phd/syung/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/phd/syung/files/header.pdf Header (including cover page, table of contents, lists of tables and figures, abstract, abbreviations etc). Thu, 30 Nov 2006 11:05:10 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/header.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/chapter1.pdf Introduction Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/chapter1.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/chapter2.pdf Definition-based state-transition models in the abstract Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/chapter2.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/chapter3.pdf Software tools using dependency Thu, 30 Nov 2006 11:05:10 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/chapter3.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/chapter4.pdf The Scout notation Thu, 30 Nov 2006 11:05:10 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/chapter4.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/chapter5.pdf Definition-based state-transition models in application Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/chapter5.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/chapter6.pdf Integrating definitive notations Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/chapter6.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/chapter7.pdf Generalising single-agent definitive systems Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/chapter7.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/chapter8.pdf Agent-oriented definitive programming Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/chapter8.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/chapter9.pdf Summary and Conclusion Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/chapter9.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/references.pdf References Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/references.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/appendixa.pdf [empty file - not yet scanned] Technical document of the Scout system Thu, 30 Nov 2006 11:05:10 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/appendixa.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/appendixb.pdf [empty file - not yet scanned] User guide to Admira Thu, 30 Nov 2006 11:05:10 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/appendixb.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/appendixc.pdf [empty file - not yet scanned] Program listing of Admira Thu, 30 Nov 2006 11:05:10 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/appendixc.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/appendixd.pdf [empty file - not yet scanned] The Jugs example Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/appendixd.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/appendixe.pdf [empty file - not yet scanned] The visualisation example Thu, 30 Nov 2006 11:05:10 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/appendixe.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/appendixf.pdf [empty file - not yet scanned] The room example Thu, 30 Nov 2006 11:05:11 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/appendixf.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/appendixg.pdf [empty file - not yet scanned] The vehicle cruise control simulation example Thu, 30 Nov 2006 11:05:10 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/appendixg.pdf /fac/sci/dcs/research/em/publications/phd/syung/files/appendixh.pdf [empty file - not yet scanned] The railway station simulation example Thu, 30 Nov 2006 11:05:10 GMT Meurig Beynon /fac/sci/dcs/research/em/publications/phd/syung/files/appendixh.pdf