Publications by Emeritus Professor Santosh Shrivastava - ePrints

Browsing publications by Emeritus Professor Santosh Shrivastava.

Newcastle Authors	Title	Year
Professor Mark Little Emeritus Professor Santosh Shrivastava	The evolution of the Arjuna transaction processing system	2022
Emeritus Professor Santosh Shrivastava Professor Mark Little	Designing Atomic Business Functions	2015
Emeritus Professor Santosh Shrivastava Professor Mark Little	Designing Atomic Business Functions with Distributed Control	2015
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	An Architecture for Negotiation and Enforcement of Resource Usage Policies	2013
Ahmed Mihoob Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Consumer-centric resource accounting in the cloud	2013
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Establishing Conformance Between Contracts and Choreographies	2013
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Establishing Conformance Between Contracts and Choreographies	2013
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Massimo Strano	A Model for Checking Contractual Compliance of Business Interactions	2012
Professor Mark Little Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Another look at the middleware for dependable distributed computing	2012
Ahmed Mihoob Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Consumer-centric Resource Accounting in the Cloud	2012
Abubkr Abdelsadiq Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A High–Level Model–Checking Tool for Verifying Electronic Contracts	2011
Abukr Abdelsadiq Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A High–Level Model–Checking Tool for Verifying Service Agreements	2011
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	An Architecture for Negotiation and Enforcement of Resource Usage Policies	2011
Ahmed Mihoob Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Consumer Side Resource Accounting in the Cloud	2011
Ahmed Mihoob Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Consumer Side Resource Accounting in the Cloud	2011
Professor Mark Little Emeritus Professor Santosh Shrivastava	The Evolution of the Arjuna Transaction Processing System	2011
Ahmed Mihoob Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A case for consumer-centric resource accounting models	2010
Ahmed Mihoob Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A Case for Consumer–centric Resource Accounting Models	2010
Ahmed Mihoob Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A Case for Consumer–centric Resource Accounting Models	2010
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	Learning from the Past for Resolving Dilemmas of Asynchrony	2010
Abukr Abdelsadiq Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	On Model Checker Based Testing of Electronic Contracting Systems	2010
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Massimo Strano	Exception handling in electronic contracting	2009
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Massimo Strano	Exception Handling in Electronic Contracting	2009
Dr Massimo Strano Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Implementing a Rule-Based Contract Compliance Checker	2009
Dr Massimo Strano Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Implementing a Rule-Based Contract Compliance Checker	2009
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	Learning from the Past for Resolving Dilemmas of Asynchrony	2009
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Model checking correctness properties of a middleware service for contract compliance	2009
Dr Carlos Molina-Jimenez Dr Nick Cook Emeritus Professor Santosh Shrivastava	On the feasibility of bilaterally agreed accounting of resource consumption	2009
Dr Paul Ezhilchelvan Dr Dylan Clarke Emeritus Professor Isi Mitrani Emeritus Professor Santosh Shrivastava	Proactive Fortification of Fault-Tolerant Services	2009
Dr Paul Ezhilchelvan Dr Dylan Clarke Emeritus Professor Isi Mitrani Emeritus Professor Santosh Shrivastava	Sustaining Intrusion-Tolerance by Proactive Replacement	2009
Dr Massimo Strano Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A Model for Checking Contractual Compliance of Business Operations	2008
Dr Massimo Strano Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A Rule-based Notation to Specify Executable Electronic Contracts	2008
Dr Massimo Strano Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A Rule-Based Notation to Specify Executable Electronic Contracts	2008
Achmad Kistijantoro Professor Graham Morgan Emeritus Professor Santosh Shrivastava Professor Mark Little	Enhancing an Application Server to Support Available Components	2008
Dr Nick Cook Dr Paul Robinson Emeritus Professor Santosh Shrivastava	High-value B2B interactions, non-repudiation and Web services	2007
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Nick Cook	Implementing business conversations with consistency guarantees using message-oriented middleware	2007
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	On Contract Compliant Business Process Coordination	2007
Dr Nick Cook Dr Paul Robinson Emeritus Professor Santosh Shrivastava	The Rigorous Implementation of a Fair Exchange Protocol for Non-repudiable Web Service Interactions - a case study	2007
Dr Nick Cook Dr Paul Robinson Emeritus Professor Santosh Shrivastava	Design and implementation of web services middleware to support fair non-repudiable interactions	2006
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Maintaining consistency between loosely coupled services in the presence of timing constraints and validation errors	2006
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Simon Woodman	On State Synchronization of Business Conversations	2006
Emeritus Professor Santosh Shrivastava	Satem: Trusted Service Code Execution across Transactions	2006
Achmad Kistijantoro Professor Graham Morgan Emeritus Professor Santosh Shrivastava	Transaction manager failover: A case study using JBOSS application server	2006
Achmad Kistijantoro Professor Graham Morgan Emeritus Professor Santosh Shrivastava	Transaction Manager Failover: A Case Study Using JBOSS Application Server	2006
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	A Family of Trusted Third Party based Fair-Exchange Protocols	2005
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	A family of trusted third party based fair-exchange protocols	2005
Dr Paul Robinson Dr Nick Cook Emeritus Professor Santosh Shrivastava	A Framework for the Rigorous Implementation of Security Protocols	2005
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava John Warne	A Method for Specifying Contract Mediated Interactions	2005
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava John Warne	A Method for Specifying Contract Mediated Interactions	2005
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava John Warne	A method for specifying contract mediated interactions	2005
Emeritus Professor Santosh Shrivastava	Contract-mediated interorganizational interactions	2005
Dr Simon Woodman Douglas Palmer Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Decentralised Coordination of Web Services for B2B Integration	2005
Dr Paul Robinson Dr Nick Cook Emeritus Professor Santosh Shrivastava	Implementing Fair Non-repudiable Interactions with Web Services	2005
Dr Paul Robinson Dr Nick Cook Emeritus Professor Santosh Shrivastava	Implementing Fair Non-repudiable Interactions with Web Services	2005
Professor Mark Little Emeritus Professor Santosh Shrivastava	The Evolution of a Transaction Processing System	2005
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	A model and a design approach to building QoS adaptive systems	2004
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	A Model and a Design Approach to Building QoS Adaptive Systems	2004
Giovanna Ferrari Emeritus Professor Santosh Shrivastava Dr Paul Ezhilchelvan	An Approach to Adaptive Performance Tuning of Application Servers	2004
Dr Nick Cook Dr Paul Robinson Emeritus Professor Santosh Shrivastava	Component Middleware to Support Non-repudiable Service Interactions	2004
Dr Nick Cook Dr Paul Robinson Emeritus Professor Santosh Shrivastava	Component Middleware to Support Non-repudiable Service Interactions	2004
Dr Simon Woodman Douglas Palmer Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Distributed Enactment of Composite Web Services	2004
Dr Simon Woodman Douglas Palmer Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Notations for the Specification and Verification of Composite Web Services	2004
Dr Simon Woodman Douglas Palmer Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Notations for the Specification and Verification of Composite Web Services	2004
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	On the Monitoring of Contractual Service Level Agreements	2004
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	On the Monitoring of Contractual Service Level Agreements	2004
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	On the monitoring of contractual service level agreements	2004
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Ellis Solaiman John Warne	Run-time monitoring and enforcement of electronic contracts	2004
Dr Simon Woodman Douglas Palmer Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	A System for Distributed Enactment of Composite Web Services	2003
Achmad Kistijantoro Professor Graham Morgan Emeritus Professor Santosh Shrivastava Professor Mark Little	Component Replication in Distributed Systems: a Case study using Enterprise Java Beans	2003
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Ellis Solaiman John Warne	Contract Representation for Run-time Monitoring and Enforcement	2003
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Ellis Solaiman John Warne	Contract Representation for Run-time Monitoring and Enforcement	2003
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Ellis Solaiman John Warne	Contract Representation for Run-time Monitoring and Enforcement	2003
Dr Simon Woodman Douglas Palmer Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Distributed Enactment of Composite Web Services	2003
Emeritus Professor Santosh Shrivastava	Middleware for supporting inter-organizational interactions	2003
Dr Nick Cook Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises	2003
Dr Nick Cook Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises	2003
Dr Ellis Solaiman Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Model Checking Correctness Properties of Electronic Contracts	2003
Dr Ellis Solaiman Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Model Checking Correctness Properties of Electronic Contracts	2003
Dr Ellis Solaiman Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Model Checking Correctness Properties of Electronic Contracts	2003
Dr Ellis Solaiman Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Model checking correctness properties of electronic contracts	2003
Nan Lin Emeritus Professor Santosh Shrivastava	System Support for Small-scale Auctions	2003
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	Systematic Development of a Family of Fair Exchange Protocols	2003
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	Systematic Development of a Family of Fair Exchange Protocols	2003
Professor Mark Little Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	The CORBA activity service framework for supporting extended transactions	2003
Professor Mark Little Emeritus Professor Santosh Shrivastava	An Examination of the Transition of the Arjuna Distributed Transaction Processing Software from Research to Products	2002
Professor Mark Little Emeritus Professor Santosh Shrivastava	An Examination of the Transition of the Arjuna Distributed Transaction Processing Software from Research to Products	2002
Dr Nick Cook Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Distributed object middleware to support dependable information sharing between organisations	2002
Emeritus Professor Santosh Shrivastava	Middleware for supporting inter-organisational interactions	2002
Professor Mark Little Emeritus Professor Santosh Shrivastava Dr Neil Speirs	Using bloom filters to speed-up name lookup in distributed systems	2002
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava Professor Mark Little	A Model and Architecture for Conducting Hierarchically Structured Auctions	2001
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava Professor Mark Little	A Model and Architecture for Conducting Hierarchically Structured Auctions	2001
Dr Nick Cook Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Distributed Object Middleware to Support Dependable Information Sharing between Organisations	2001
Jonathan Halliday Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Flexible Workflow Management in the OPENflow system	2001
Professor Mark Little Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Theory and Practice of Building Reliable Distributed Applications	2001
Emeritus Professor Santosh Shrivastava	A Workflow and Agent based Platform for Service Provisioning	2000
Emeritus Professor Santosh Shrivastava	Advances in Distributed Systems: Advanced Distributed Computing from Algorithms to Systems	2000
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	Advances in Distributed Systems: advanced distributed computing, from algorithms to systems	2000
David Ingham Emeritus Professor Santosh Shrivastava	Constructing dependable Web services	2000
David Ingham Emeritus Professor Santosh Shrivastava	Constructing dependable Web services	2000
Professor Graham Morgan Emeritus Professor Santosh Shrivastava	Implementing flexible object group invocation in networked systems	2000
Dr Stuart Wheater Emeritus Professor Santosh Shrivastava Frederic Ranno	OPENflow: A CORBA based transactional workflow system	2000
Emeritus Professor Santosh Shrivastava Dr Paul Ezhilchelvan Dr Neil Speirs Professor John Fitzgerald	Safety Critical Distributed Systems: a State of Art Report	2000
Professor Mark Little Emeritus Professor Santosh Shrivastava	A Method for Combining Replication with Cacheing	1999
Emeritus Professor Santosh Shrivastava	Advances in distributed systems: advanced distributed computing, from algorithms to systems	1999
Professor Graham Morgan Emeritus Professor Santosh Shrivastava Dr Paul Ezhilchelvan Professor Mark Little	Design and Implementation of a CORBA Fault-Tolerant Object Group Service	1999
Emeritus Professor Santosh Shrivastava Dr Paul Ezhilchelvan	Enhancing Replica Management Services to Cope with Group Failures	1999
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	Enhancing Replica Management Services to Tolerate Group Failures	1999
Professor Mark Little Emeritus Professor Santosh Shrivastava	Implementing High Availability CORBA Applications with Java	1999
Jonathan Halliday Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Implementing Support for Work Activity Coordination within a Distributed Workflow System	1999
Professor Mark Little Emeritus Professor Santosh Shrivastava	Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects	1999
Professor Mark Little Emeritus Professor Santosh Shrivastava	Method for combining replication with cacheing	1999
Emeritus Professor Santosh Shrivastava	On the Provision of Replicated Internet Auction Services	1999
Dr Leonardus Arief Professor Mark Little Emeritus Professor Santosh Shrivastava Dr Neil Speirs Dr Stuart Wheater et al.	Specifying distributed system services	1999
Professor Mark Little Dr Stuart Wheater David Ingham Dr Charles Snow Emeritus Professor Harry Whitfield et al.	The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General Purpose Components	1999
Professor Mark Little Emeritus Professor Santosh Shrivastava	Understanding the Role of Atomic Transactions and Group Communications in Implementing Persistent Replicated Objects	1999
Dr Stuart Wheater Emeritus Professor Santosh Shrivastava Frederic Ranno	A CORBA Compliant Transactional Workflow System for Internet Applications	1998
Dr Stuart Wheater Emeritus Professor Santosh Shrivastava Frederic Ranno	A CORBA Compliant Transactional Workflow System for Internet Applications	1998
Frederic Ranno Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	A Language for Specifying the Composition of Reliable Distributed Applications	1998
Frederic Ranno Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	A Language for Specifying the Composition of Reliable Distributed Applications	1998
Frederic Ranno Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	A System for Specifying and Coordinating the Execution of Reliable Distributed Aplications	1998
Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	A Transactional Workflow based Distributed Application Composition and Execution Environment	1998
Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Architectural support for dynamic reconfiguration of distributed workflow applications	1998
Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Architectural Support for Dynamic Reconfiguration of Large Scale Distributed Apllications	1998
Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Architectural Support for Dynamic Reconfiguration of Large Scale Distributed Applications	1998
Professor Mark Little Emeritus Professor Santosh Shrivastava	Building Configurable Applications in Java	1998
Professor Steve Caughey Professor Mark Little Emeritus Professor Santosh Shrivastava	Checked Transactions in an Asynchronous Message Passing Environment	1998
Professor Steve Caughey Professor Mark Little Emeritus Professor Santosh Shrivastava	Checked Transactions in an Asynchronous Message Passing Environment	1998
Professor Mark Little Emeritus Professor Santosh Shrivastava	Distributed Transactions in Java	1998
Professor Mark Little Emeritus Professor Santosh Shrivastava	Integrating the Object Transaction Service with the Web	1998
Professor Mark Little Emeritus Professor Santosh Shrivastava	Integrating the Object Transaction Service with the Web	1998
Emeritus Professor Santosh Shrivastava	Inter-task Co-ordination in Long-Lived Distributed Applications	1998
Professor Mark Little Emeritus Professor Santosh Shrivastava	Java Transactions for the Internet	1998
Professor Mark Little Emeritus Professor Santosh Shrivastava	Java Transactions for the Internet	1998
Professor Mark Little Emeritus Professor Santosh Shrivastava	Java Transactions for the Internet	1998
Frederic Ranno Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Language for specifying the composition of reliable https://myimpact.ncl.ac.uk/EditPublication.aspxdistributed applications	1998
Dr James Smith Emeritus Professor Santosh Shrivastava	Performance of fault-tolerant data and compute intensive programs over a network of workstations	1998
Professor Mark Little Emeritus Professor Santosh Shrivastava	Providing end-to-end transactional Web applications using the Object Transaction Service	1998
Emeritus Professor Santosh Shrivastava	The Voltan Application Programming Environment for Fail-silent Processes	1998
Dr Stuart Wheater Emeritus Professor Santosh Shrivastava	A Framework for Configurable Distributed Transactions	1997
Frederic Ranno Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	A System for Specifying and Coordinating the Execution of Reliable Distributed Applications	1997
Professor Mark Little Emeritus Professor Santosh Shrivastava Professor Steve Caughey David Ingham	Constructing Reliable Web Applications Using Atomic Actions	1997
Professor Mark Little Emeritus Professor Santosh Shrivastava Professor Steve Caughey David Ingham	Constructing Reliable Web Applications Using Atomic Actions	1997
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	Determining the Last Membership of a Process Group after a Total Failure	1997
Professor Mark Little Emeritus Professor Santosh Shrivastava	Distributed Transactions in Java	1997
Emeritus Professor Santosh Shrivastava	Fault-Tolerant Parallel Applications Using Queues and Actions	1997
Emeritus Professor Santosh Shrivastava	Fault-tolerant parallel applications using queues and actions	1997
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava Dr Neil Speirs	Implementing Fail-Silent Nodes for Distributed Systems	1997
Professor Mark Little Emeritus Professor Santosh Shrivastava	Using Application Specific Knowledge for Configuring Object Replicas	1997
David Ingham Professor Mark Little Professor Steve Caughey Emeritus Professor Santosh Shrivastava	W3Objects: Bringing Object-Oriented Technology to the Web	1997
David Ingham Professor Mark Little Professor Steve Caughey Emeritus Professor Santosh Shrivastava	W3Objects: Distributed Objects and the Web	1997
Dr James Smith Emeritus Professor Santosh Shrivastava	A System for Fault-Tolerant Execution of Data and Compute Intensive Programs Over a Network of Workstations	1996
Dr James Smith Emeritus Professor Santosh Shrivastava	A System for Fault-Tolerant Execution of Data and Compute Intensive Programs Over a Network of Workstations	1996
Emeritus Professor Santosh Shrivastava	A Toolkit for Constructing Distributed Object-Oriented Metainformation Systems	1996
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava Dr Neil Speirs	Implementing fail-silent nodes for distributed systems	1996
Professor Steve Caughey Emeritus Professor Santosh Shrivastava	Structuring Call Control Software Using Distributed Objects	1996
Professor Steve Caughey Emeritus Professor Santosh Shrivastava	Structuring Call Control Software Using Distributed Objects	1996
Professor Mark Little Emeritus Professor Santosh Shrivastava	Using Application Specific Knowledge for Configuring Object Replicas	1996
Professor Mark Little Emeritus Professor Santosh Shrivastava	Using application specific knowledge for configuring object replicas	1996
Professor Steve Caughey Emeritus Professor Santosh Shrivastava	Architectural Support for Mobile Objects in Large Scale Distributed Systems	1995
Dr James Smith Emeritus Professor Santosh Shrivastava	Fault-Tolerant Execution of Computationally and Storage Intensive Programs Over a Network of Workstations: A Case Study	1995
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	Flow Control Schemes for a Fault-Tolerant Multicast Protocol	1995
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	Focused Fault Injection Testing of Software Implemented Fault Tolerance Mechanisms of Voltan TMR Nodes	1995
Emeritus Professor Santosh Shrivastava	Lessons Learned from Building and Using the Arjuna Distributed Programming System	1995
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	Newtop: A Fault-Tolerant Group Communication Protocol	1995
Emeritus Professor Santosh Shrivastava Dr Stuart Wheater Professor Mark Little	The Design and Implementation of Arjuna	1995
Emeritus Professor Santosh Shrivastava Dr Stuart Wheater Professor Mark Little	The Design and Implementation of Arjuna	1995
Emeritus Professor Santosh Shrivastava	The Implementation and Performance Analysis of a Total Delivery Protocol for Group Communication	1995
David Ingham Professor Mark Little Professor Steve Caughey Emeritus Professor Santosh Shrivastava	W3Objects: Bringing Object-Oriented Technology to the Web	1995
Emeritus Professor Santosh Shrivastava	A View of Large Scale Distributed Computing	1994
Professor Steve Caughey Emeritus Professor Santosh Shrivastava	Architectural Support for Mobile Objects	1994
Emeritus Professor Santosh Shrivastava	Arjuna and Voltan: Case Studies in Building Fault Tolerant Distributed Systems Using Standard Components	1994
Dr Stuart Wheater Emeritus Professor Santosh Shrivastava	Exercising Application Specific Run-Time Control Over Clustering of Objects	1994
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	NewTop: A Fault-Tolerant Group Communication Protocol	1994
Professor Mark Little Emeritus Professor Santosh Shrivastava	Object Replication in Arjuna	1994
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	rel/REL: A Family of Reliable Multicast Protocols for Distributed Systems	1994
Emeritus Professor Santosh Shrivastava	Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment	1994
Emeritus Professor Santosh Shrivastava Dr Stuart Wheater Professor Mark Little	The Design and Implementation of Arjuna	1994
Emeritus Professor Santosh Shrivastava Dr Alan Tully	Active Replication of Distributed Programs: Problems and Solutions	1993
Emeritus Professor Santosh Shrivastava Dr Neil Speirs	Building Fault-tolerant Distributed Computing Systems using Standard Components	1993
Emeritus Professor Santosh Shrivastava Dr Neil Speirs	Building Fault-Tolerant Distributed Computing Systems Using Standard Components	1993
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava Dr Neil Speirs	Efficient Protocols for Fail-silent Nodes in Distributed Systems	1993
Dr Stuart Wheater Emeritus Professor Santosh Shrivastava	Exercising Application-Specific Run-Time Control over Clustering of Objects	1993
Professor Mark Little Emeritus Professor Santosh Shrivastava	Maintaining Information about Persistent Replicated Objects in a Distributed System	1993
Professor Mark Little Emeritus Professor Santosh Shrivastava	Maintaining Information about Persistent Replicated Objects in a Distributed System	1993
Professor Mark Little Emeritus Professor Santosh Shrivastava	Maintaining Information about Persistent Replicated Objects in a Distributed System	1993
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	NewTop: A Total Order Multicast Protocal Using Causal Blocks	1993
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	rel/REL: A Family of Reliable Multicast Protocols for Distributed Real-time Systems	1993
Professor Steve Caughey Emeritus Professor Santosh Shrivastava	SHADOWS - A Flexible Support System for Objects in Distributed Systems	1993
Professor Steve Caughey Emeritus Professor Santosh Shrivastava	SHADOWS - A Flexible Support System for Objects in Distributed Systems	1993
Emeritus Professor Santosh Shrivastava	Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment	1993
Emeritus Professor Santosh Shrivastava	Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment	1993
Dr Neil Speirs Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	The Design and Implementation of Voltan Fault-tolerant Nodes for Distributed Systems	1993
Emeritus Professor Santosh Shrivastava Dr Paul Ezhilchelvan Dr Neil Speirs	The Design and Implementation of Voltan Fault-tolerant Nodes for Distributed Systems	1993
Emeritus Professor Santosh Shrivastava Professor Brian Randell	The Duality of Fault-tolerant System Structures	1993
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	A Distributed Systems Architecture Supporting High Availability and Reliability	1992
Dr Neil Speirs Emeritus Professor Santosh Shrivastava	Demonstration of Voltan Fail-Controlled Node	1992
Dr Neil Speirs Emeritus Professor Santosh Shrivastava Dr Paul Ezhilchelvan	Efficient Schemes for Constructing Reliable Computing Nodes in Distributed Systems	1992
Emeritus Professor Santosh Shrivastava Dr Paul Ezhilchelvan Dr Neil Speirs	Fail-Controlled Computer Architectures for Distributed Systems	1992
Professor Steve Caughey Emeritus Professor Santosh Shrivastava	Implementing Fault-Tolerant Object Systems on Distributed Memory Multiprocessors	1992
Professor Steve Caughey Emeritus Professor Santosh Shrivastava	Implementing fault-tolerant object systems on distributed memory multiprocessors	1992
Emeritus Professor Santosh Shrivastava Dr Paul Ezhilchelvan Dr Neil Speirs Dr Alan Tully	Principle Features of the VOLTAN Family of Reliable Node Architectures for Distributed Systems	1992
Emeritus Professor Santosh Shrivastava	An Overview of the Arjuna Distributed Programming System	1991
Emeritus Professor Santosh Shrivastava Dr Paul Ezhilchelvan Dr Neil Speirs	Fail-controlled Computer Architectures for Distributed Systems	1991
Emeritus Professor Santosh Shrivastava Dr Neil Speirs	Fail-Silent Hardware for Distributed Systems	1991
Emeritus Professor Santosh Shrivastava	Fault-tolerant Reference Counting for Garbage Collection in Distributed Systems	1991
Emeritus Professor Santosh Shrivastava	Fault-Tolerant System Structuring Concepts	1991
Emeritus Professor Santosh Shrivastava	Operating System Support for Object-Oriented Distributed Systems	1991
Emeritus Professor Santosh Shrivastava Dr Paul Ezhilchelvan Dr Neil Speirs Dr Alan Tully	Principal Features of the Voltan Family of Reliable Node Architectures for Distributed Systems	1991
Professor Mark Little Emeritus Professor Santosh Shrivastava	Replicated K-Resilient Objects in Arjuna	1991
Emeritus Professor Santosh Shrivastava	Structuring Fault-Tolerant Object Systems for Portability	1991
Emeritus Professor Santosh Shrivastava	Using objects and actions to provide fault tolerance in distributed real-time systems	1991
Emeritus Professor Santosh Shrivastava	Using Objects and Actions to Provide Fault tolerance in Distributed, Real-Time Applications	1991
Dr Paul Ezhilchelvan Emeritus Professor Isi Mitrani Emeritus Professor Santosh Shrivastava	A Performance Evaluation Study of Pipelined TMR Systems	1990
Emeritus Professor Santosh Shrivastava	Distributed Computer Systems: Reliability	1990
Emeritus Professor Santosh Shrivastava Dr Paul Ezhilchelvan Dr Neil Speirs	Fail-controlled processor architectures for distributed systems	1990
Emeritus Professor Santosh Shrivastava	Fault-tolerant object-oriented computations for MIMD machines	1990
Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Implementing Fault-Tolerant Distributed Applications Using Objects and Multi-Coloured Actions	1990
Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Implementing Fault-tolerant Distributed Applications using Objects and Multi-coloured Actions	1990
Dr Alan Tully Emeritus Professor Santosh Shrivastava	Preventing State Divergence in Replicated Distributed Programs	1990
Professor Mark Little Emeritus Professor Santosh Shrivastava	Replicated K-Resilient Objects in Arjuna	1990
Emeritus Professor Santosh Shrivastava	Structuring Persistent Object Systems for Portability in a Distributed Environment	1990
Emeritus Professor Santosh Shrivastava Professor Brian Randell	The Duality of Fault-Tolerant System Structures	1990
Emeritus Professor Santosh Shrivastava Dr Paul Ezhilchelvan Professor Mark Little	Understanding Component Failures and Replications in Distributed Systems	1990
Dr Paul Ezhilchelvan Emeritus Professor Isi Mitrani Emeritus Professor Santosh Shrivastava	An Empirical Study of the Performance of Distributed Replicated Systems	1989
Emeritus Professor Santosh Shrivastava	An Overview of Arjuna: A Programming System for Reliable Distributed Computing	1989
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava Dr Alan Tully	Constructing Replicated Systems Using Processors With Point to Point Communication Links	1989
Emeritus Professor Santosh Shrivastava	Fault tolerance in distributed systems	1989
Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	Objects and Multi-Coloured Actions	1989
Emeritus Professor Santosh Shrivastava	Replication within Atomic Actions and Conversations: A Case Study in Fault-Tolerance Duality	1989
Emeritus Professor Santosh Shrivastava	Replication within Atomic Actions and Conversations: A Case Study in Fault-Tolerance Duality	1989
Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	The Treatment of Persistent Objects in Arjuna	1989
Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	The Treatment of Persistent Objects in Arjuna	1989
Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	The Treatment of Persistent Objects in Arjuna	1989
Emeritus Professor Santosh Shrivastava	A Formal Treatment of Interference in Remote Procedure Calls	1988
Emeritus Professor Santosh Shrivastava	A Formal Treatment of Interference in Remote Procedure Calls	1988
Emeritus Professor Santosh Shrivastava Fariba Hedayati Dr Stuart Wheater	A Technical Overview of Arjuna: A System for Reliable Distributed Computing	1988
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava Dr Alan Tully	Constructing Replicated Systems using Processors with Point-to-Point Communication Links	1988
Emeritus Professor Santosh Shrivastava	Implementing Concurrency Control in Reliable Distributed Object Oriented Systems	1988
Emeritus Professor Santosh Shrivastava	Implementing Concurrency Control in Reliable Distributed Object-Oriented Systems	1988
Emeritus Professor Santosh Shrivastava	Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing	1988
Emeritus Professor Santosh Shrivastava	Towards a Theory of Replicated Processing	1988
Emeritus Professor Santosh Shrivastava	A tutorial on the principles of fault tolerance	1987
Emeritus Professor Santosh Shrivastava	Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems	1987
Emeritus Professor Santosh Shrivastava	Failure Detection in Replicated Systems	1987
Emeritus Professor Santosh Shrivastava	Managing Persistent Objects in Arjuna: A System for Reliable Distributed Computing	1987
Emeritus Professor Santosh Shrivastava	Objects and Actions in Reliable Distributed Systems	1987
Emeritus Professor Santosh Shrivastava	Objects and Actions in Reliable Distributed Systems	1987
Emeritus Professor Santosh Shrivastava Professor Brian Randell	On the Duality of Fault Tolerant System Structures	1987
Emeritus Professor Santosh Shrivastava Professor Brian Randell	On the Duality of Fault-Tolerant System Structures	1987
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	A Characterisation of Faults in Systems	1986
Emeritus Professor Santosh Shrivastava	Exception Handling in Replicated Systems with Voting	1986
Emeritus Professor Santosh Shrivastava	Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems	1986
Emeritus Professor Santosh Shrivastava	Replicated Distributed Processing	1986
Dr Paul Ezhilchelvan Emeritus Professor Santosh Shrivastava	A Characterization of Faults in Systems	1985
Emeritus Professor Santosh Shrivastava	Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing	1985
Emeritus Professor Santosh Shrivastava	Reliable computer systems: collected papers of the Newcastle Reliability Project	1985
Emeritus Professor Santosh Shrivastava	Workshop on Distributed Computing	1985
Emeritus Professor Santosh Shrivastava	On the Treatment of Orphans in a Distributed System	1983
Emeritus Professor Santosh Shrivastava	A Dependancy, Commitment and Recovery Model for Atomic Actions	1982
Emeritus Professor Santosh Shrivastava	Reliable Remote Calls for Distributed UNIX: An Implementation Study	1982
Emeritus Professor Santosh Shrivastava	The design of a reliable remote procedure call mechanism	1982
Professor Pete Lee Dr John Lloyd Emeritus Professor Santosh Shrivastava	Some Critical Comments on the Paper "An Optimal Approach to Fault Tolerant Software Systems Design" by Gannon and Shapiro	1981
Emeritus Professor Santosh Shrivastava	Structuring distributed systems for recoverability and crash resistance	1981
Emeritus Professor Santosh Shrivastava	The Design of a Reliable Remote Procedure Call Mechanism	1981
Emeritus Professor Santosh Shrivastava	Concurrent Pascal with backward error recovery: implementation	1979
Emeritus Professor Santosh Shrivastava	Concurrent Pascal with backward error recovery: language features and examples	1979
Emeritus Professor Santosh Shrivastava	Structuring Distributed Systems for Recoverability and Crash Resistance	1979
Emeritus Professor Tom Anderson Professor Pete Lee Emeritus Professor Santosh Shrivastava	System Fault Tolerance	1979
Emeritus Professor Tom Anderson Professor Pete Lee Emeritus Professor Santosh Shrivastava	A Model of Recoverability in Multilevel Systems	1978
Emeritus Professor Santosh Shrivastava	Concurrent Pascal with Backward Error-recovery	1978
Emeritus Professor Santosh Shrivastava	Fault Tolerant Sequential Programming Using Recovery Blocks	1978
Emeritus Professor Santosh Shrivastava	Reliable resource allocation between unreliable processes	1978
Emeritus Professor Tom Anderson Emeritus Professor Santosh Shrivastava	Reliable software: a selective annotated bibliography	1978
Emeritus Professor Santosh Shrivastava	Sequential Pascal with recovery blocks	1978
Emeritus Professor Santosh Shrivastava	Sequential Pascal with Recovery Blocks	1978
Emeritus Professor Tom Anderson Professor Pete Lee Emeritus Professor Santosh Shrivastava	A Model of Recoverability in Multi-level Systems	1977
Emeritus Professor Santosh Shrivastava	Reliable Resource Allocation between Unreliable Processes	1977
Emeritus Professor Tom Anderson Emeritus Professor Santosh Shrivastava	Reliable Software: A Selective Annotated Bibliography	1977
Emeritus Professor Santosh Shrivastava	Systematic programming of scheduling algorithms	1976
Emeritus Professor Santosh Shrivastava	A view of concurrent process synchronisation	1975
Emeritus Professor Santosh Shrivastava	Process synchronization in high-level languages	1975