| CICS project report experiences and results from the use of Z in IBM I Houston, S King VDM'91 Formal Software Development Methods: 4th International Symposium of …, 1991 | 141 | 1991 |
| Object oriented transaction monitor for distributed transaction processing environments EE Cobb, SAJ Holdsworth, ISC Houston, SA Smith US Patent 6,070,197, 2000 | 95 | 2000 |
| Apparatus, method and computer program for providing arbitrary locking requesters for controlling concurrent access to server resources SAJ Holdsworth, ISC Houston US Patent 6,052,731, 2000 | 68 | 2000 |
| Restart and recovery of OMG-compliant transaction systems T Freund, S Holdsworth, I Houston, RA Storey US Patent 5,923,833, 1999 | 68 | 1999 |
| Apparatus and method for scheduling and dispatching queued client requests within a server in a client/server computer system T Freund, ISC Houston US Patent 6,505,250, 2003 | 59 | 2003 |
| System and method for functionally enhancing procedural software using objects EE Cobb, TJ Freund, SAJ Holdsworth, ISC Houston, SA Smith US Patent 5,956,506, 1999 | 51 | 1999 |
| Data processing activity lifecycle control JA Beaven, AE Chessell, C Griffin, ISC Houston, M Mulholland, ... US Patent 6,901,578, 2005 | 34 | 2005 |
| System and method for creating an object oriented transaction service that interoperates with procedural transaction coordinators EE Cobb, TJ Freund, SAJ Holdsworth, ISC Houston, SA Smith US Patent 6,317,773, 2001 | 33 | 2001 |
| Apparatus, method and computer program for providing arbitrary locking modes for controlling concurrent access to server resources SAJ Holdsworth, ISC Houston US Patent 6,044,404, 2000 | 28 | 2000 |
| The CORBA Activity Service Framework for supporting extended transactions I Houston, MC Little, I Robinson, SK Shrivastava, SM Wheater Software: Practice and Experience 33 (4), 351-373, 2003 | 26 | 2003 |
| Apparatus and method for dispatching client method calls within a server computer system T Freund, SAJ Holdsworth, ISC Houston US Patent 5,925,098, 1999 | 23 | 1999 |
| System for building optimal commit trees in a distributed transaction processing system EE Cobb, SAJ Holdsworth, ISC Houston, SA Smith US Patent 6,205,464, 2001 | 22 | 2001 |
| A formal description of the OMG's Core Object Model and the meaning of compatible extension ISC Houston, MB Josephs Computer Standards & Interfaces 17 (5-6), 553-558, 1995 | 22 | 1995 |
| Object-oriented data processing system with transactional adapter ISC Houston, MB Josephs US Patent 6,178,463, 2001 | 20 | 2001 |
| Specifying distributed CICS in Z: accessing local and remote resources ISC Houston, MB Josephs Formal Aspects of Computing 6, 569-579, 1994 | 19 | 1994 |
| AZ specification of part of the CICS file control API ISC Houston, JB Wordsworth IBM Technical Report TR12. 272, 1990 | 19 | 1990 |
| The corba activity service framework for supporting extended transactions I Houston, MC Little, I Robinson, SK Shrivastava, SM Wheater IFIP/ACM International Conference on Distributed Systems Platforms and Open …, 2001 | 17 | 2001 |
| Apparatus and method for performing semantic concurrency control in dispatching client requests within a server in a client/server computer system T Freund, ISC Houston US Patent 6,289,343, 2001 | 14 | 2001 |
| Method, system and computer program for deriving and applying quality of service specifications in a component-based development environment J Beaven, T Freund, G Charters, A Chessell, I Houston, P Lambros, ... US Patent App. 09/808,501, 2002 | 11 | 2002 |
| Data processing with message processing nodes wrapped into a business activity JA Beaven, AE Chessell, C Griffin, ISC Houston, M Mulholland, ... US Patent 6,493,714, 2002 | 10 | 2002 |
