Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Emeritus Professor Santosh Shrivastava.

Newcastle AuthorsTitleYearFull text
Professor Mark Little
Emeritus Professor Santosh Shrivastava
The evolution of the Arjuna transaction processing system2022
Emeritus Professor Santosh Shrivastava
Professor Mark Little
Designing Atomic Business Functions2015
Emeritus Professor Santosh Shrivastava
Professor Mark Little
Designing Atomic Business Functions with Distributed Control2015
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
An Architecture for Negotiation and Enforcement of Resource Usage Policies2013
Ahmed Mihoob
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Consumer-centric resource accounting in the cloud2013
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Establishing Conformance Between Contracts and Choreographies2013
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Establishing Conformance Between Contracts and Choreographies2013
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Massimo Strano
A Model for Checking Contractual Compliance of Business Interactions2012
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Another look at the middleware for dependable distributed computing2012
Ahmed Mihoob
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Consumer-centric Resource Accounting in the Cloud2012
Abubkr Abdelsadiq
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A High–Level Model–Checking Tool for Verifying Electronic Contracts2011
Abukr Abdelsadiq
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A High–Level Model–Checking Tool for Verifying Service Agreements2011
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
An Architecture for Negotiation and Enforcement of Resource Usage Policies2011
Ahmed Mihoob
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Consumer Side Resource Accounting in the Cloud2011
Ahmed Mihoob
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Consumer Side Resource Accounting in the Cloud2011
Professor Mark Little
Emeritus Professor Santosh Shrivastava
The Evolution of the Arjuna Transaction Processing System2011
Ahmed Mihoob
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A case for consumer-centric resource accounting models2010
Ahmed Mihoob
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A Case for Consumer–centric Resource Accounting Models2010
Ahmed Mihoob
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A Case for Consumer–centric Resource Accounting Models2010
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Learning from the Past for Resolving Dilemmas of Asynchrony2010
Abukr Abdelsadiq
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
On Model Checker Based Testing of Electronic Contracting Systems2010
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Massimo Strano
Exception handling in electronic contracting2009
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Massimo Strano
Exception Handling in Electronic Contracting2009
Dr Massimo Strano
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Implementing a Rule-Based Contract Compliance Checker2009
Dr Massimo Strano
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Implementing a Rule-Based Contract Compliance Checker2009
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Learning from the Past for Resolving Dilemmas of Asynchrony2009
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Model checking correctness properties of a middleware service for contract compliance2009
Dr Carlos Molina-Jimenez
Dr Nick Cook
Emeritus Professor Santosh Shrivastava
On the feasibility of bilaterally agreed accounting of resource consumption2009
Dr Paul Ezhilchelvan
Dr Dylan Clarke
Emeritus Professor Isi Mitrani
Emeritus Professor Santosh Shrivastava
Proactive Fortification of Fault-Tolerant Services2009
Dr Paul Ezhilchelvan
Dr Dylan Clarke
Emeritus Professor Isi Mitrani
Emeritus Professor Santosh Shrivastava
Sustaining Intrusion-Tolerance by Proactive Replacement2009
Dr Massimo Strano
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A Model for Checking Contractual Compliance of Business Operations2008
Dr Massimo Strano
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A Rule-based Notation to Specify Executable Electronic Contracts2008
Dr Massimo Strano
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A Rule-Based Notation to Specify Executable Electronic Contracts2008
Achmad Kistijantoro
Dr Graham Morgan
Emeritus Professor Santosh Shrivastava
Professor Mark Little
Enhancing an Application Server to Support Available Components2008
Dr Nick Cook
Dr Paul Robinson
Emeritus Professor Santosh Shrivastava
High-value B2B interactions, non-repudiation and Web services2007
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Nick Cook
Implementing business conversations with consistency guarantees using message-oriented middleware2007
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
On Contract Compliant Business Process Coordination2007
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 study2007
Dr Nick Cook
Dr Paul Robinson
Emeritus Professor Santosh Shrivastava
Design and implementation of web services middleware to support fair non-repudiable interactions2006
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Maintaining consistency between loosely coupled services in the presence of timing constraints and validation errors2006
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Simon Woodman
On State Synchronization of Business Conversations2006
Emeritus Professor Santosh Shrivastava
Satem: Trusted Service Code Execution across Transactions2006
Achmad Kistijantoro
Dr Graham Morgan
Emeritus Professor Santosh Shrivastava
Transaction manager failover: A case study using JBOSS application server2006
Achmad Kistijantoro
Dr Graham Morgan
Emeritus Professor Santosh Shrivastava
Transaction Manager Failover: A Case Study Using JBOSS Application Server2006
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
A Family of Trusted Third Party based Fair-Exchange Protocols2005
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
A family of trusted third party based fair-exchange protocols2005
Dr Paul Robinson
Dr Nick Cook
Emeritus Professor Santosh Shrivastava
A Framework for the Rigorous Implementation of Security Protocols2005
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
John Warne
A Method for Specifying Contract Mediated Interactions2005
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
John Warne
A Method for Specifying Contract Mediated Interactions2005
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
John Warne
A method for specifying contract mediated interactions2005
Emeritus Professor Santosh Shrivastava
Contract-mediated interorganizational interactions2005
Dr Simon Woodman
Douglas Palmer
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Decentralised Coordination of Web Services for B2B Integration2005
Dr Paul Robinson
Dr Nick Cook
Emeritus Professor Santosh Shrivastava
Implementing Fair Non-repudiable Interactions with Web Services2005
Dr Paul Robinson
Dr Nick Cook
Emeritus Professor Santosh Shrivastava
Implementing Fair Non-repudiable Interactions with Web Services2005
Professor Mark Little
Emeritus Professor Santosh Shrivastava
The Evolution of a Transaction Processing System2005
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
A model and a design approach to building QoS adaptive systems2004
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
A Model and a Design Approach to Building QoS Adaptive Systems2004
Giovanna Ferrari
Emeritus Professor Santosh Shrivastava
Dr Paul Ezhilchelvan
An Approach to Adaptive Performance Tuning of Application Servers2004
Dr Nick Cook
Dr Paul Robinson
Emeritus Professor Santosh Shrivastava
Component Middleware to Support Non-repudiable Service Interactions2004
Dr Nick Cook
Dr Paul Robinson
Emeritus Professor Santosh Shrivastava
Component Middleware to Support Non-repudiable Service Interactions2004
Dr Simon Woodman
Douglas Palmer
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Distributed Enactment of Composite Web Services2004
Dr Simon Woodman
Douglas Palmer
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Notations for the Specification and Verification of Composite Web Services2004
Dr Simon Woodman
Douglas Palmer
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Notations for the Specification and Verification of Composite Web Services2004
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
On the Monitoring of Contractual Service Level Agreements2004
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
On the Monitoring of Contractual Service Level Agreements2004
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
On the monitoring of contractual service level agreements2004
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Ellis Solaiman
John Warne
Run-time monitoring and enforcement of electronic contracts2004
Dr Simon Woodman
Douglas Palmer
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
A System for Distributed Enactment of Composite Web Services2003
Achmad Kistijantoro
Dr Graham Morgan
Emeritus Professor Santosh Shrivastava
Professor Mark Little
Component Replication in Distributed Systems: a Case study using Enterprise Java Beans2003
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Ellis Solaiman
John Warne
Contract Representation for Run-time Monitoring and Enforcement2003
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Ellis Solaiman
John Warne
Contract Representation for Run-time Monitoring and Enforcement2003
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Ellis Solaiman
John Warne
Contract Representation for Run-time Monitoring and Enforcement2003
Dr Simon Woodman
Douglas Palmer
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Distributed Enactment of Composite Web Services2003
Emeritus Professor Santosh Shrivastava
Middleware for supporting inter-organizational interactions2003
Dr Nick Cook
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises2003
Dr Nick Cook
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises2003
Dr Ellis Solaiman
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Model Checking Correctness Properties of Electronic Contracts2003
Dr Ellis Solaiman
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Model Checking Correctness Properties of Electronic Contracts2003
Dr Ellis Solaiman
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Model Checking Correctness Properties of Electronic Contracts2003
Dr Ellis Solaiman
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Model checking correctness properties of electronic contracts2003
Nan Lin
Emeritus Professor Santosh Shrivastava
System Support for Small-scale Auctions2003
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Systematic Development of a Family of Fair Exchange Protocols2003
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Systematic Development of a Family of Fair Exchange Protocols2003
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
The CORBA activity service framework for supporting extended transactions2003
Professor Mark Little
Emeritus Professor Santosh Shrivastava
An Examination of the Transition of the Arjuna Distributed Transaction Processing Software from Research to Products2002
Professor Mark Little
Emeritus Professor Santosh Shrivastava
An Examination of the Transition of the Arjuna Distributed Transaction Processing Software from Research to Products2002
Dr Nick Cook
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Distributed object middleware to support dependable information sharing between organisations2002
Emeritus Professor Santosh Shrivastava
Middleware for supporting inter-organisational interactions2002
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Dr Neil Speirs
Using bloom filters to speed-up name lookup in distributed systems2002
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Professor Mark Little
A Model and Architecture for Conducting Hierarchically Structured Auctions2001
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Professor Mark Little
A Model and Architecture for Conducting Hierarchically Structured Auctions2001
Dr Nick Cook
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Distributed Object Middleware to Support Dependable Information Sharing between Organisations2001
Jonathan Halliday
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Flexible Workflow Management in the OPENflow system2001
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Theory and Practice of Building Reliable Distributed Applications2001
Emeritus Professor Santosh Shrivastava
A Workflow and Agent based Platform for Service Provisioning2000
Emeritus Professor Santosh Shrivastava
Advances in Distributed Systems: Advanced Distributed Computing from Algorithms to Systems2000
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Advances in Distributed Systems: advanced distributed computing, from algorithms to systems2000
David Ingham
Emeritus Professor Santosh Shrivastava
Constructing dependable Web services2000
David Ingham
Emeritus Professor Santosh Shrivastava
Constructing dependable Web services2000
Dr Graham Morgan
Emeritus Professor Santosh Shrivastava
Implementing flexible object group invocation in networked systems2000
Dr Stuart Wheater
Emeritus Professor Santosh Shrivastava
Frederic Ranno
OPENflow: A CORBA based transactional workflow system2000
Emeritus Professor Santosh Shrivastava
Dr Paul Ezhilchelvan
Dr Neil Speirs
Professor John Fitzgerald
Safety Critical Distributed Systems: a State of Art Report2000
Professor Mark Little
Emeritus Professor Santosh Shrivastava
A Method for Combining Replication with Cacheing1999
Emeritus Professor Santosh Shrivastava
Advances in distributed systems: advanced distributed computing, from algorithms to systems1999
Dr Graham Morgan
Emeritus Professor Santosh Shrivastava
Dr Paul Ezhilchelvan
Professor Mark Little
Design and Implementation of a CORBA Fault-Tolerant Object Group Service1999
Emeritus Professor Santosh Shrivastava
Dr Paul Ezhilchelvan
Enhancing Replica Management Services to Cope with Group Failures1999
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Enhancing Replica Management Services to Tolerate Group Failures1999
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Implementing High Availability CORBA Applications with Java1999
Jonathan Halliday
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Implementing Support for Work Activity Coordination within a Distributed Workflow System1999
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects1999
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Method for combining replication with cacheing1999
Emeritus Professor Santosh Shrivastava
On the Provision of Replicated Internet Auction Services1999
Dr Leonardus Arief
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Dr Neil Speirs
Dr Stuart Wheater
et al.
Specifying distributed system services1999
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 Components1999
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Understanding the Role of Atomic Transactions and Group Communications in Implementing Persistent Replicated Objects1999
Dr Stuart Wheater
Emeritus Professor Santosh Shrivastava
Frederic Ranno
A CORBA Compliant Transactional Workflow System for Internet Applications1998
Dr Stuart Wheater
Emeritus Professor Santosh Shrivastava
Frederic Ranno
A CORBA Compliant Transactional Workflow System for Internet Applications1998
Frederic Ranno
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
A Language for Specifying the Composition of Reliable Distributed Applications1998
Frederic Ranno
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
A Language for Specifying the Composition of Reliable Distributed Applications1998
Frederic Ranno
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
A System for Specifying and Coordinating the Execution of Reliable Distributed Aplications1998
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
A Transactional Workflow based Distributed Application Composition and Execution Environment1998
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Architectural support for dynamic reconfiguration of distributed workflow applications1998
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Architectural Support for Dynamic Reconfiguration of Large Scale Distributed Apllications1998
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Architectural Support for Dynamic Reconfiguration of Large Scale Distributed Applications1998
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Building Configurable Applications in Java1998
Professor Steve Caughey
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Checked Transactions in an Asynchronous Message Passing Environment1998
Professor Steve Caughey
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Checked Transactions in an Asynchronous Message Passing Environment1998
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Distributed Transactions in Java1998
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Integrating the Object Transaction Service with the Web1998
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Integrating the Object Transaction Service with the Web1998
Emeritus Professor Santosh Shrivastava
Inter-task Co-ordination in Long-Lived Distributed Applications1998
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Java Transactions for the Internet1998
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Java Transactions for the Internet1998
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Java Transactions for the Internet1998
Frederic Ranno
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Language for specifying the composition of reliable https://myimpact.ncl.ac.uk/EditPublication.aspxdistributed applications1998
Dr James Smith
Emeritus Professor Santosh Shrivastava
Performance of fault-tolerant data and compute intensive programs over a network of workstations1998
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Providing end-to-end transactional Web applications using the Object Transaction Service1998
Emeritus Professor Santosh Shrivastava
The Voltan Application Programming Environment for Fail-silent Processes1998
Dr Stuart Wheater
Emeritus Professor Santosh Shrivastava
A Framework for Configurable Distributed Transactions1997
Frederic Ranno
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
A System for Specifying and Coordinating the Execution of Reliable Distributed Applications1997
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Professor Steve Caughey
David Ingham
Constructing Reliable Web Applications Using Atomic Actions1997
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Professor Steve Caughey
David Ingham
Constructing Reliable Web Applications Using Atomic Actions1997
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Determining the Last Membership of a Process Group after a Total Failure1997
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Distributed Transactions in Java1997
Emeritus Professor Santosh Shrivastava
Fault-Tolerant Parallel Applications Using Queues and Actions1997
Emeritus Professor Santosh Shrivastava
Fault-tolerant parallel applications using queues and actions1997
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Dr Neil Speirs
Implementing Fail-Silent Nodes for Distributed Systems1997
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Using Application Specific Knowledge for Configuring Object Replicas1997
David Ingham
Professor Mark Little
Professor Steve Caughey
Emeritus Professor Santosh Shrivastava
W3Objects: Bringing Object-Oriented Technology to the Web1997
David Ingham
Professor Mark Little
Professor Steve Caughey
Emeritus Professor Santosh Shrivastava
W3Objects: Distributed Objects and the Web1997
Dr James Smith
Emeritus Professor Santosh Shrivastava
A System for Fault-Tolerant Execution of Data and Compute Intensive Programs Over a Network of Workstations1996
Dr James Smith
Emeritus Professor Santosh Shrivastava
A System for Fault-Tolerant Execution of Data and Compute Intensive Programs Over a Network of Workstations1996
Emeritus Professor Santosh Shrivastava
A Toolkit for Constructing Distributed Object-Oriented Metainformation Systems1996
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Dr Neil Speirs
Implementing fail-silent nodes for distributed systems1996
Professor Steve Caughey
Emeritus Professor Santosh Shrivastava
Structuring Call Control Software Using Distributed Objects1996
Professor Steve Caughey
Emeritus Professor Santosh Shrivastava
Structuring Call Control Software Using Distributed Objects1996
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Using Application Specific Knowledge for Configuring Object Replicas1996
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Using application specific knowledge for configuring object replicas1996
Professor Steve Caughey
Emeritus Professor Santosh Shrivastava
Architectural Support for Mobile Objects in Large Scale Distributed Systems1995
Dr James Smith
Emeritus Professor Santosh Shrivastava
Fault-Tolerant Execution of Computationally and Storage Intensive Programs Over a Network of Workstations: A Case Study1995
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Flow Control Schemes for a Fault-Tolerant Multicast Protocol1995
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Focused Fault Injection Testing of Software Implemented Fault Tolerance Mechanisms of Voltan TMR Nodes1995
Emeritus Professor Santosh Shrivastava
Lessons Learned from Building and Using the Arjuna Distributed Programming System1995
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Newtop: A Fault-Tolerant Group Communication Protocol1995
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Professor Mark Little
The Design and Implementation of Arjuna1995
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Professor Mark Little
The Design and Implementation of Arjuna1995
Emeritus Professor Santosh Shrivastava
The Implementation and Performance Analysis of a Total Delivery Protocol for Group Communication1995
David Ingham
Professor Mark Little
Professor Steve Caughey
Emeritus Professor Santosh Shrivastava
W3Objects: Bringing Object-Oriented Technology to the Web1995
Emeritus Professor Santosh Shrivastava
A View of Large Scale Distributed Computing1994
Professor Steve Caughey
Emeritus Professor Santosh Shrivastava
Architectural Support for Mobile Objects1994
Emeritus Professor Santosh Shrivastava
Arjuna and Voltan: Case Studies in Building Fault Tolerant Distributed Systems Using Standard Components1994
Dr Stuart Wheater
Emeritus Professor Santosh Shrivastava
Exercising Application Specific Run-Time Control Over Clustering of Objects1994
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
NewTop: A Fault-Tolerant Group Communication Protocol1994
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Object Replication in Arjuna1994
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
rel/REL: A Family of Reliable Multicast Protocols for Distributed Systems1994
Emeritus Professor Santosh Shrivastava
Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment1994
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Professor Mark Little
The Design and Implementation of Arjuna1994
Emeritus Professor Santosh Shrivastava
Dr Alan Tully
Active Replication of Distributed Programs: Problems and Solutions1993
Emeritus Professor Santosh Shrivastava
Dr Neil Speirs
Building Fault-tolerant Distributed Computing Systems using Standard Components1993
Emeritus Professor Santosh Shrivastava
Dr Neil Speirs
Building Fault-Tolerant Distributed Computing Systems Using Standard Components1993
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Dr Neil Speirs
Efficient Protocols for Fail-silent Nodes in Distributed Systems1993
Dr Stuart Wheater
Emeritus Professor Santosh Shrivastava
Exercising Application-Specific Run-Time Control over Clustering of Objects1993
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Maintaining Information about Persistent Replicated Objects in a Distributed System1993
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Maintaining Information about Persistent Replicated Objects in a Distributed System1993
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Maintaining Information about Persistent Replicated Objects in a Distributed System1993
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
NewTop: A Total Order Multicast Protocal Using Causal Blocks1993
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
rel/REL: A Family of Reliable Multicast Protocols for Distributed Real-time Systems1993
Professor Steve Caughey
Emeritus Professor Santosh Shrivastava
SHADOWS - A Flexible Support System for Objects in Distributed Systems1993
Professor Steve Caughey
Emeritus Professor Santosh Shrivastava
SHADOWS - A Flexible Support System for Objects in Distributed Systems1993
Emeritus Professor Santosh Shrivastava
Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment1993
Emeritus Professor Santosh Shrivastava
Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment1993
Dr Neil Speirs
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
The Design and Implementation of Voltan Fault-tolerant Nodes for Distributed Systems1993
Emeritus Professor Santosh Shrivastava
Dr Paul Ezhilchelvan
Dr Neil Speirs
The Design and Implementation of Voltan Fault-tolerant Nodes for Distributed Systems1993
Emeritus Professor Santosh Shrivastava
Professor Brian Randell
The Duality of Fault-tolerant System Structures1993
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
A Distributed Systems Architecture Supporting High Availability and Reliability1992
Dr Neil Speirs
Emeritus Professor Santosh Shrivastava
Demonstration of Voltan Fail-Controlled Node1992
Dr Neil Speirs
Emeritus Professor Santosh Shrivastava
Dr Paul Ezhilchelvan
Efficient Schemes for Constructing Reliable Computing Nodes in Distributed Systems1992
Emeritus Professor Santosh Shrivastava
Dr Paul Ezhilchelvan
Dr Neil Speirs
Fail-Controlled Computer Architectures for Distributed Systems1992
Professor Steve Caughey
Emeritus Professor Santosh Shrivastava
Implementing Fault-Tolerant Object Systems on Distributed Memory Multiprocessors1992
Professor Steve Caughey
Emeritus Professor Santosh Shrivastava
Implementing fault-tolerant object systems on distributed memory multiprocessors1992
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 Systems1992
Emeritus Professor Santosh Shrivastava
An Overview of the Arjuna Distributed Programming System1991
Emeritus Professor Santosh Shrivastava
Dr Paul Ezhilchelvan
Dr Neil Speirs
Fail-controlled Computer Architectures for Distributed Systems1991
Emeritus Professor Santosh Shrivastava
Dr Neil Speirs
Fail-Silent Hardware for Distributed Systems1991
Emeritus Professor Santosh Shrivastava
Fault-tolerant Reference Counting for Garbage Collection in Distributed Systems1991
Emeritus Professor Santosh Shrivastava
Fault-Tolerant System Structuring Concepts1991
Emeritus Professor Santosh Shrivastava
Operating System Support for Object-Oriented Distributed Systems1991
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 Systems1991
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Replicated K-Resilient Objects in Arjuna1991
Emeritus Professor Santosh Shrivastava
Structuring Fault-Tolerant Object Systems for Portability1991
Emeritus Professor Santosh Shrivastava
Using objects and actions to provide fault tolerance in distributed real-time systems1991
Emeritus Professor Santosh Shrivastava
Using Objects and Actions to Provide Fault tolerance in Distributed, Real-Time Applications1991
Dr Paul Ezhilchelvan
Emeritus Professor Isi Mitrani
Emeritus Professor Santosh Shrivastava
A Performance Evaluation Study of Pipelined TMR Systems1990
Emeritus Professor Santosh Shrivastava
Distributed Computer Systems: Reliability1990
Emeritus Professor Santosh Shrivastava
Dr Paul Ezhilchelvan
Dr Neil Speirs
Fail-controlled processor architectures for distributed systems1990
Emeritus Professor Santosh Shrivastava
Fault-tolerant object-oriented computations for MIMD machines1990
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Implementing Fault-Tolerant Distributed Applications Using Objects and Multi-Coloured Actions1990
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Implementing Fault-tolerant Distributed Applications using Objects and Multi-coloured Actions1990
Dr Alan Tully
Emeritus Professor Santosh Shrivastava
Preventing State Divergence in Replicated Distributed Programs1990
Professor Mark Little
Emeritus Professor Santosh Shrivastava
Replicated K-Resilient Objects in Arjuna1990
Emeritus Professor Santosh Shrivastava
Structuring Persistent Object Systems for Portability in a Distributed Environment1990
Emeritus Professor Santosh Shrivastava
Professor Brian Randell
The Duality of Fault-Tolerant System Structures1990
Emeritus Professor Santosh Shrivastava
Dr Paul Ezhilchelvan
Professor Mark Little
Understanding Component Failures and Replications in Distributed Systems1990
Dr Paul Ezhilchelvan
Emeritus Professor Isi Mitrani
Emeritus Professor Santosh Shrivastava
An Empirical Study of the Performance of Distributed Replicated Systems1989
Emeritus Professor Santosh Shrivastava
An Overview of Arjuna: A Programming System for Reliable Distributed Computing1989
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Dr Alan Tully
Constructing Replicated Systems Using Processors With Point to Point Communication Links1989
Emeritus Professor Santosh Shrivastava
Fault tolerance in distributed systems1989
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
Objects and Multi-Coloured Actions1989
Emeritus Professor Santosh Shrivastava
Replication within Atomic Actions and Conversations: A Case Study in Fault-Tolerance Duality1989
Emeritus Professor Santosh Shrivastava
Replication within Atomic Actions and Conversations: A Case Study in Fault-Tolerance Duality1989
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
The Treatment of Persistent Objects in Arjuna1989
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
The Treatment of Persistent Objects in Arjuna1989
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
The Treatment of Persistent Objects in Arjuna1989
Emeritus Professor Santosh Shrivastava
A Formal Treatment of Interference in Remote Procedure Calls1988
Emeritus Professor Santosh Shrivastava
A Formal Treatment of Interference in Remote Procedure Calls1988
Emeritus Professor Santosh Shrivastava
Fariba Hedayati
Dr Stuart Wheater
A Technical Overview of Arjuna: A System for Reliable Distributed Computing1988
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
Dr Alan Tully
Constructing Replicated Systems using Processors with Point-to-Point Communication Links1988
Emeritus Professor Santosh Shrivastava
Implementing Concurrency Control in Reliable Distributed Object Oriented Systems1988
Emeritus Professor Santosh Shrivastava
Implementing Concurrency Control in Reliable Distributed Object-Oriented Systems1988
Emeritus Professor Santosh Shrivastava
Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing1988
Emeritus Professor Santosh Shrivastava
Towards a Theory of Replicated Processing1988
Emeritus Professor Santosh Shrivastava
A tutorial on the principles of fault tolerance1987
Emeritus Professor Santosh Shrivastava
Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems1987
Emeritus Professor Santosh Shrivastava
Failure Detection in Replicated Systems1987
Emeritus Professor Santosh Shrivastava
Managing Persistent Objects in Arjuna: A System for Reliable Distributed Computing1987
Emeritus Professor Santosh Shrivastava
Objects and Actions in Reliable Distributed Systems1987
Emeritus Professor Santosh Shrivastava
Objects and Actions in Reliable Distributed Systems1987
Emeritus Professor Santosh Shrivastava
Professor Brian Randell
On the Duality of Fault Tolerant System Structures1987
Emeritus Professor Santosh Shrivastava
Professor Brian Randell
On the Duality of Fault-Tolerant System Structures1987
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
A Characterisation of Faults in Systems1986
Emeritus Professor Santosh Shrivastava
Exception Handling in Replicated Systems with Voting1986
Emeritus Professor Santosh Shrivastava
Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems1986
Emeritus Professor Santosh Shrivastava
Replicated Distributed Processing1986
Dr Paul Ezhilchelvan
Emeritus Professor Santosh Shrivastava
A Characterization of Faults in Systems1985
Emeritus Professor Santosh Shrivastava
Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing1985
Emeritus Professor Santosh Shrivastava
Reliable computer systems: collected papers of the Newcastle Reliability Project1985
Emeritus Professor Santosh Shrivastava
Workshop on Distributed Computing1985
Emeritus Professor Santosh Shrivastava
On the Treatment of Orphans in a Distributed System1983
Emeritus Professor Santosh Shrivastava
A Dependancy, Commitment and Recovery Model for Atomic Actions1982
Emeritus Professor Santosh Shrivastava
Reliable Remote Calls for Distributed UNIX: An Implementation Study1982
Emeritus Professor Santosh Shrivastava
The design of a reliable remote procedure call mechanism1982
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 Shapiro1981
Emeritus Professor Santosh Shrivastava
Structuring distributed systems for recoverability and crash resistance1981
Emeritus Professor Santosh Shrivastava
The Design of a Reliable Remote Procedure Call Mechanism1981
Emeritus Professor Santosh Shrivastava
Concurrent Pascal with backward error recovery: implementation1979
Emeritus Professor Santosh Shrivastava
Concurrent Pascal with backward error recovery: language features and examples1979
Emeritus Professor Santosh Shrivastava
Structuring Distributed Systems for Recoverability and Crash Resistance1979
Emeritus Professor Tom Anderson
Professor Pete Lee
Emeritus Professor Santosh Shrivastava
System Fault Tolerance1979
Emeritus Professor Tom Anderson
Professor Pete Lee
Emeritus Professor Santosh Shrivastava
A Model of Recoverability in Multilevel Systems1978
Emeritus Professor Santosh Shrivastava
Concurrent Pascal with Backward Error-recovery1978
Emeritus Professor Santosh Shrivastava
Fault Tolerant Sequential Programming Using Recovery Blocks1978
Emeritus Professor Santosh Shrivastava
Reliable resource allocation between unreliable processes1978
Emeritus Professor Tom Anderson
Emeritus Professor Santosh Shrivastava
Reliable software: a selective annotated bibliography1978
Emeritus Professor Santosh Shrivastava
Sequential Pascal with recovery blocks1978
Emeritus Professor Santosh Shrivastava
Sequential Pascal with Recovery Blocks1978
Emeritus Professor Tom Anderson
Professor Pete Lee
Emeritus Professor Santosh Shrivastava
A Model of Recoverability in Multi-level Systems1977
Emeritus Professor Santosh Shrivastava
Reliable Resource Allocation between Unreliable Processes1977
Emeritus Professor Tom Anderson
Emeritus Professor Santosh Shrivastava
Reliable Software: A Selective Annotated Bibliography1977
Emeritus Professor Santosh Shrivastava
Systematic programming of scheduling algorithms1976
Emeritus Professor Santosh Shrivastava
A view of concurrent process synchronisation1975
Emeritus Professor Santosh Shrivastava
Process synchronization in high-level languages1975