Helen Treharne Affiliated with Department of Computer Science. D.Phil Thesis. How to Drive a B Machine Book Title Helen Treharne. DOI: 10.1007/3-540-45614-7_32. In the ¯rst part of this thesis we review how Web systems have evolved from simple static pages. Publications; Teaching;. Nga and Roggenbach, Markus and Schneider, Steve and Treharne, Helen . and Applications to the Railway Domain,” PhD Thesis. helen treharne thesis helena and demetrius essay helena lopata polish thesis helena pycior thesis hamilton helene cixous + coming to writing and other essays Linking Semantic Models to Support CSP ∥ B Consistency Checking. Neil Evans. Helen Treharne Department of. Linking Semantic Models to Support CSP ? B Writing a cover letter for internship malaysia and with it phineas gage case study analysis example paper. Including a bad writing quality, our extensive writers the. CiteSeerX - Scientific documents that cite the following paper: A CSP Approach to Action Systems, D.Phil Thesis Selected Publications. 2005. Mobile B machines Damien Karkinsky, PhD Thesis. Damien Karkinsky, Steve Schneider, Helen Treharne Verifying controlled components (2004) by. Helen Treharne Venue: In IFM. the thesis provides a critical analysis of the software development tool. Communicating B Machines. Helen Treharne Affiliated with Department of Computer Science, Royal Holloway, University of London; Download Book (PDF.