- Questions and Answers about Ten Formal Methods Pieter Hartel, Michael Butler, Andrew Currie, Peter Henderson, Michael Leuschel,
- Inconsistency Tolerance across Enterprise Solutions Peter Henderson, Robert John Walters and Stephen Crouch
- Questions and Answers about Ten Formal Methods Pieter Hartel, Michael Butler, Andrew Currie, Peter Henderson, Michael Leuschel,
- System Design Validation Using Formal Models Peter Henderson
- Information and Software Technology 40 (1998) 123133 RolEnact: rolebased enactable models of business processes
- INFORMATION INVASION IN ENTERPRISE SYSTEMS Modelling, simulating and analysing systemlevel information propagation
- Automating Checking of Models built using a Graphically Based Formal Modelling Language
- DataWarp: Building Applications which Make Progress in an Inconsistent World
- An Improved Approach to Secure Authentication and Signing David Argles, Alex Pease and Robert John Walters
- An Agile Hypertext Design Methodology Gary B. Wills, Noura Abbas, Rakhi Chandrasekharan, Richard M. Crowder, Lester Gilbert,
- Teaching the Grid: Learning Distributed Computing with the M-grid Framework
- M-grid: Using Ubiquitous Web Technologies to create a Computational Grid
- Effects of Introducing Survival Behaviours into Automated Negotiators
- University of Southampton Faculty of Engineering and Applied Science
- A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems
- RICES: Reasoning about Information Consistency across Enterprise Peter Henderson, Robert John Walters, Stephen Crouch,
- Inconsistency Tolerance across Enterprise Solutions Peter Henderson, Robert John Walters and Stephen Crouch
- RolEnact: role-based enactable models of business processes Keith Thomas Phalpa,
- An Audience Centred Approach to Modelling for Business Processes ReEngineering
- A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems
- Implementing Hierarchical Features in a Graphically Based Formal Modelling Language
- Behavioural Analysis of ComponentBased Systems Peter Henderson (P.Henderson@ecs.soton.ac.uk)
- Behavioural Analysis of Component-Based Systems Peter Henderson (P.Henderson@ecs.soton.ac.uk)
- DataWarp: Building Applications which Make Progress in an Inconsistent World
- An Audience Centred Approach to Modelling for Business Processes ReEngineering
