Enhancing an Application Server to Support Available Components
Kistijantoro, A. I., Morgan, G., Shrivastava, S. K. and Little, M. C.
IEEE Transactions on Software Engineering Vol. 34, Issue 4, pp 531-545
IEEE Computer Society, 2008

[Abstract]

Design and Implementation of Web Services Middleware to Support Fair Non-Repudiable Interactions
Cook, N., Robinson, P. and Shrivastava, S.K.
International Journal of Cooperative Information Systems Vol. 15, Issue 4, pp 565-597
World Scientific, 2006
Notes : Invited paper. Special issue on Enterprise Distributed Computing.

[Abstract]

A Family of Trusted Third Party Based Fair-Exchange Protocols
Ezhilchelvan, P.D. and Shrivastava, S.K.
IEEE Transactions on Dependable and Secure Computing Vol. 2, Issue 4, pp 273-286
IEEE Computer Society, 2005

Run-time monitoring and enforcement of electronic contracts
Molina-Jimenez, C., Shrivastava, S., Solaiman, E. and Warne, J.
Electronic Commerce Research and Applications Vol. 3, Issue 2, pp 108-125
Elsevier B.V., 2004

[Abstract]

The CORBA Activity Service Framework for Supporting Extended Transactions
Houston, I., Little, M.C., Robinson, I., Shrivastava, S.K. and Wheater, S.M.
Software: Practice and Experience Vol. 33, Issue 4, pp 351-373
John Wiley & Sons, 2003 ISSN 0038-0644

[Abstract]

Using Bloom Filters to Speed-up Name Lookup in Distributed Systems
Little, M.C., Speirs, N.A. and Shrivastava, S.K.
The Computer Journal Vol. 45, Issue 6, pp 645-652
Oxford University Press/British Computer Society, 2002 ISSN 0010-4620

[Abstract]

Constructing Dependable Web Services
Ingham, D.B., Panzieri, F. and Shrivastava, S.K.
IEEE Internet Computing Vol. 4, Issue 1, pp 25-33
IEEE Computer Society, 2000 ISSN 1089-7801

Specifying Distributed System Services
Arief, L.B. , Little, M.C. and Shrivastava, S.K. et. al.
BT Technology Journal Vol. 17, Issue 2, pp 126-136
Kluwer Academic Publishers, 1999 ISSN 1358-3948

[Abstract]

Performance of Fault-tolerant Data and Compute Intensive Programs over a Network of Workstations
Smith, J.A. and Shrivastava, S.K.
Theoretical Computer Science (Special Issue on Parallel Computing) Vol. 196, Issue 1-2, pp 319-345
Elsevier Science Publishers BV, 1998 ISSN 0304-3975

[Abstract]

The Voltan Application Programming Environment for Fail-silent Processes
Black, D., Low, C. and Shrivastava, S.K.
IEE Distributed Systems Engineering Vol. 5, Issue 2, pp 66-77
IOP Publishing Ltd., 1998 ISSN 0967-1846

[Abstract]

Architectural Support for Dynamic Reconfiguration of Distributed Workflow Applications
Shrivastava, S.K. and Wheater, S.M.
IEE Proceedings - Software Vol. 145, Issue 5, pp 155-162
Institution of Electrical Engineers (IEE), 1998 ISSN 1462-5970

Providing end-to-end transactional Web applications using the Object Transaction Service
Little, M.C. and Shrivastava, S.K.
OMG Success StoryIssue n/a,
Object Management Group, 1998

Java Transactions for the Internet
Little, M.C. and Shrivastava, S.K.
IEE Distributed Systems Engineering Vol. 5, Issue 4, pp 156-167
IOP Publishing Ltd., 1998 ISSN 0967-1846

[Abstract]

Constructing Reliable Web Applications Using Atomic Actions
Little, M.C., Shrivastava, S.K., Caughey, S.J. and Ingham, D.B.
Computer Networks and ISDN Systems Vol. 29, Issue 8-13, pp 1281-1290
Elsevier Science Publishers BV, 1997 ISSN 0169-7552

W3Objects: Distributed Objects and the Web
Ingham, D.B., Little, M.C., Caughey, S.J. and Shrivastava, S.K.
Dr. Dobb's Sourcebook: Distributed Objects Vol. 22, Issue 13, pp 19-25
CMP Media LLC, 1997 ISSN 1044-789X

Implementing Fail-Silent Nodes for Distributed Systems
Brasileiro, F.V., Ezhilchelvan, P.D. and Shrivastava, S.K. et. al.
IEEE Transactions on Computers Vol. 45, Issue 11, pp 1226-1238
IEEE Computer Society, 1996 ISSN 0018-9340

[Abstract]

The Design and Implementation of Arjuna
Parrington, G.D., Shrivastava, S.K., Wheater, S.M. and Little, M.C.
Computing Systems: The Journal of the USENIX Association Vol. 8, Issue 3, pp 255-308
USENIX Association/MIT Press, 1995 ISSN 0895-6340

[Abstract]

Focused Fault Injection Testing of Software Implemented Fault Tolerance Mechanisms of Voltan TMR Nodes
Tao, S., Ezhilchelvan, P.D. and Shrivastava, S.K.
IEE Distributed Systems Engineering (Special Issue on Cabernet) Vol. 2, Issue 1, pp 39-49
IOP Publishing Ltd., 1995 ISSN 0967-1846

Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment
McCue, D.L. and Shrivastava, S.K.
IEEE Transactions on Parallel and Distributed Systems Vol. 5, Issue 4, pp 421-432
IEEE Computer Society, 1994 ISSN 1045-9219

rel/REL: A Family of Reliable Multicast Protocols for Distributed Systems
Ezhilchelvan, P.D. and Shrivastava, S.K.
IEE Distributed Systems Engineering Vol. 1, Issue 6, pp 323-331
IOP Publishing Ltd., 1994 ISSN 0967-1846

The Design and Implementation of Voltan Fault-tolerant Nodes for Distributed Systems
Shrivastava, S.K., Ezhilchelvan, P.D. and Speirs, N.A. et. al.
Transputer Communications Vol. 1, Issue 2, pp 93-109
John Wiley & Sons, 1993 ISSN 1070-454X

The Duality of Fault-tolerant System Structures
Shrivastava, S.K., Mancini, L. and Randell, B.
Software: Practice and Experience Vol. 23, Issue 7, pp 773-798
John Wiley & Sons, 1993 ISSN 0038-0644

Principle Features of the VOLTAN Family of Reliable Node Architectures for Distributed Systems
Shrivastava, S.K., Ezhilchelvan, P.D. and Speirs, N.A. et. al.
IEEE Transactions on Computers (Special Issue on Fault-Tolerant Computing) Vol. 41, Issue 5, pp 542-549
IEEE Computer Society, 1992 ISSN 0018-9340

An Overview of the Arjuna Distributed Programming System
Shrivastava, S.K., Dixon, G.N. and Parrington, G.D.
IEEE Software Vol. 8, Issue 1, pp 66-73
IEEE Computer Society, 1991 ISSN 0740-7459

Fault-tolerant Reference Counting for Garbage Collection in Distributed Systems
Mancini, L.V. and Shrivastava, S.K.
The Computer Journal Vol. 34, Issue 6, pp 503-513
Oxford University Press/British Computer Society, 1991 ISSN 0010-4260

A Performance Evaluation Study of Pipelined TMR Systems
Ezhilchelvan, P.D., Mitrani, I. and Shrivastava, S.K.
IEEE Transactions on Parallel and Distributed Systems Vol. 1, Issue 4, pp 442-456
IEEE Computer Society, 1990 ISSN 1045-9219

The Treatment of Persistent Objects in Arjuna
Dixon, G.N., Parrington, G.D, Shrivastava, S.K and Wheater, S.M.
The Computer Journal Vol. 32, Issue 4, pp 323-332
Oxford University Press/British Computer Society, 1989 ISSN 0010-4260

Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing
Panzieri, F. and Shrivastava, S. K.
IEEE Transactions on Software Engineering Vol. 14, Issue 1, pp 30-37
IEEE Computer Society, 1988 ISSN 0098-5589

A tutorial on the principles of fault tolerance
Shrivastava, S.K.
SADHANA Vol. 11, Issue 1-2, pp 7-22
Indian Academy of Sciences, 1987

Objects and Actions in Reliable Distributed Systems
Shrivastava, S.K., Dixon, G.N. and Parrington, G.D
IEE Software Engineering Journal Vol. 2, Issue 5, pp 160-168
Institution of Electrical Engineers (IEE), 1987 ISSN 0268-6961

The design of a reliable remote procedure call mechanism
Shrivastava, S.K. and Panzieri, F.
IEEE Transactions on Computers Vol. 31, Issue 7, pp 692-697
1982

Some Critical Comments on the Paper "An Optimal Approach to Fault Tolerant Software Systems Design" by Gannon and Shapiro
Lee, P.A., Lloyd, J.L. and Shrivastava, S.K.
IEEE Transactions on Software Engineering Vol. 7, Issue 6, pp 608-610
IEEE Computer Society, 1981 ISSN 0098-5589

Structuring distributed systems for recoverability and crash resistance
Shrivastava, S.K.
IEEE Transactions on Software Engineering Vol. 7, Issue 4, pp 436-447
IEEE, 1981

Concurrent Pascal with backward error recovery: implementation
Shrivastava, S.K.
Software - Practice and Experience Vol. 9, Issue 12, pp 1021-1033
John Wiley, 1979

Concurrent Pascal with backward error recovery: language features and examples
Shrivastava, S.K.
Software - Practice and Experience Vol. 9, Issue 12, pp 1001-1020
John Wiley, 1979

A Model of Recoverability in Multilevel Systems
Anderson, T., Lee, P.A. and Shrivastava, S.K.
IEEE Transactions on Software Engineering Vol. SE-4, Issue 6, pp 486-494
IEEE Computer Society, 1978 ISSN 0098-5589

Reliable resource allocation between unreliable processes
Shrivastava, S.K. and Banatre, J.-P.
IEEE Transactions on Software Engineering Vol. 4, Issue 3, pp 230-241
IEEE, 1978

Reliable software: a selective annotated bibliography
Anderson, T. and Shrivastava, S.K.
Software - Practice and Experience Vol. 8, Issue 1, pp 59-76
John Wiley, 1978

Sequential Pascal with recovery blocks
Shrivastava, S.K.
Software - Practice and Experience Vol. 8, Issue 2, pp 177-185
John Wiley, 1978

Systematic programming of scheduling algorithms
Shrivastava, S.K.
Software - Practice and Experience Vol. 6, Issue 3, pp 357-370
John Wiley, 1976

A view of concurrent process synchronisation
Shrivastava, S.K.
The Computer Journal Vol. 18, Issue 4, pp 375-379
British Computer Society, 1975

Process synchronization in high-level languages
Shrivastava, S.K.
International Journal of Computer and Information Sciences Vol. 4, Issue 2, pp 151-169
Plenum Press, 1975

High-value B2B interactions, nonrepudiation and Web services
Cook, N., Robinson, P. and Shrivastava, S.K.
In Securing Web Services: practical usage of standards and specifications,
Periorellis, P. (ed.), pp 71-110
IGI Global, 2008, ISBN 1-599046-39-3
Notes : Chapter IV.

A Model and a Design Approach to Building QoS Adaptive Systems
Ezhilchelvan, P.D. and Shrivastava, S.K.
In Architecting Dependable Systems II,
de Lemos, R., Gacek, C. and Romanovsky, A. (eds.), pp 215-238
Lecture Notes in Computer Science, 3069
Springer, 2004, ISBN 3-540-23168-4
Notes : The chapter addresses the task of building Internet-based service provisioning systems where the quality of services (QoS) provided should not be perturbed due to changes in execution environments and user requirements. Specifically, it presents system architecture and identifies a model appropriate for developing distributed programs that would implement the system. The model abstracts the network performance and dependability guarantees typically offered by the Internet service providers and is termed the probabilistic asynchronous model. The protocols for this model are shown to be derivable from those developed for the well-known classical models, namely: the synchronous and the asynchronous models. A protocol for reliable broadcast is derived from a synchronous protocol, together with QoS management algorithms. The system architecture prescribes the role of QoS management algorithms to be: feasibility evaluation on QoS requests from the end users, and adapting system protocols in response to changes in the environments.

Advances in Distributed Systems
Krakowiak, S. and Shrivastava, S.K. (eds.)
Lecture Notes in Computer Science, 1752
Springer-Verlag, 1999, ISBN 3-540-67196-X

Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects
Little, M.C. and Shrivastava, S.K.
In Advances in Distributed Systems,
Krakowiak, S. and Shrivastava, S.K. (eds.), pp 238-253
Lecture Notes in Computer Science, 1752
Springer-Verlag, 1999, ISBN 3-540-67196-X

[Abstract]

The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General Purpose Components
Little, M.C., Wheater, S.M., Ingham, D.B., Snow, C.R., Whitfield, H. and Shrivastava, S.K.
In Advances in Distributed Systems,
Krakowiak, S. and Shrivastava, S.K. (eds.), pp 453-471
Lecture Notes in Computer Science, 1752
Springer-Verlag, 1999, ISBN 3-540-67196-X

[Abstract]

Arjuna and Voltan: Case Studies in Building Fault Tolerant Distributed Systems Using Standard Components
Shrivastava, S.K.
In Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives,
Banatre, M. and Lee, P.A. (eds.), pp 218-226
Lecture Notes in Computer Science, 774
Springer-Verlag, 1994, ISBN 3-540-57767-X

Fail-Silent Hardware for Distributed Systems
Shrivastava, S.K., Seaton, D.T., Howard, N. and Speirs, N.A.
In Delta-4: A Generic Architecture for Dependable Distributed Computing,
Powell, D. (ed), pp 295-305
ESPRIT Research Reports: Project 818/2252 Delta-4, 1
Springer-Verlag, 1991, ISBN 3-540-54985-4

Fault-Tolerant System Structuring Concepts
Shrivastava, S.K.
In Software Engineer's Reference Book,
McDermid, J.A. (ed), Butterworth-Heinemann, 1991, ISBN 0-7506-1040-9
Notes : Chapter 61.

Distributed Computer Systems: Reliability
Shrivastava, S.K.
In Systems and Control Encyclopedia: Advances in Systems, Control and Information Engineering,
Singh, M.G. (ed), pp 181-186
Pergamon Press, 1990, ISBN 0-080-35933-7

Reliable computer systems: collected papers of the Newcastle Reliability Project
Shrivastava, S.K. (Ed)
Texts and Monographs in Computer Science,
Springer Verlag, 1985,

System Fault Tolerance
Anderson, T., Lee, P.A. and Shrivastava, S.K.
In Computing Systems Reliability,
Anderson, T. and Randell, B. (eds), pp 153-210
Cambridge University Press, 1979, ISBN 0-521-22767-4

Implementing a Rule-Based Contract Compliance Checker
Strano, M., Molina-Jimenez, C. and Shrivastava, S.
In Software Services for e-Business and e-Society. 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009
Godart, C., Gronau, N., Sharma, S. et al. (eds.)
IFIP Advances in Information and Communication Technology, 305, pp 96-111
Springer, 2009

On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption
Molina-Jimenez, C., Cook, N. and Shrivastava, S.
In Service-Oriented Computing - ICSOC 2008 Workshops ..., Sydney, Australia, December 1, 2008. Revised Selected Papers
Feuerlicht, G. and Lamersdorf, W. (eds.)
Lecture Notes in Computer Science, 5472, pp 270-283
Springer-Verlag, 2009

[Abstract]

A Rule-Based Notation to Specify Executable Electronic Contracts
Strano, M., Molina-Jimenez, C. and Shrivastava, S.
In Rule Representation, Interchange and Reasoning on the Web. International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31,2008
Bassiliades, N., Governatori, G and Pashke, A. (eds.)
Lecture Notes in Computer Science, 5321, pp 81-88
Springer-Verlag, 2008
Notes : Extended version available as Technical Report CS-TR 1115 at http://www.cs.ncl.ac.uk/publications/trs/papers/1115.pdf

Implementing Business Conversations with Consistency Guarantees using Message-oriented Middleware
Molina-Jimenez C., Shrivastava S. and Cook N.
In 11th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2007, 15-19 October 2007, Annapolis, Maryland, USA
pp 51-62
IEEE Computer Society, 2007

[Abstract]

The Rigorous Implementation of a Fair Exchange Protocol for Non-repudiable Web Service Interactions - a case study
Cook, N., Robinson, P. and Shrivastava, S.
In Second International Workshop on Services Engineering. In conjunction with the International Conference on Data Engineering - ICDE'07, April 15-16 & 20, 2007, Istanbul, Turkey
Oria, V., Elmagarmid, A., Lochovsky, F. et al. (eds.)
pp 307-314
IEEE , 2007
Notes : SEIW 2007

[Abstract]

On Contract Compliant Business Process Coordination
Molina-Jimenez, C. and Shrivastava, S.
In NWPT'07/FLACOS'07 Workshop Proceedings, October 9-12, 2007, Oslo, Norway
Johnsen, E.B., Owe, O. and Schneider, G. (eds.)
pp 113-115
Universitetet i Oslo, Institutt for informatikk, 2007
Notes : Proceedings published as Universitetet i Oslo, Institutt for informatikk, Research Report 366.

[Abstract]

On State Synchronization of Business Conversations
Molina-Jimenez, C., Shrivastava, S. and Woodman, S.
In 8th IEEE International Conference on E-Commerce and Technology (CEC 2006), June 26-29, 2006, San Francisco, California
pp 324-327
IEEE Computer Society, 2006
Notes : In proceedings of Joint Conference CEC2006, EEE 2006, WMCS 2006 and Joint Workshop BSN 2006, SoS4CO 2006

[Abstract]

Maintaining consistency between loosely coupled services in the presence of timing constraints and validation errors
Molina-Jimenez, C. and Shrivastava, S.
In ECOWS '06. European Conference on Web Services, 4-6 December 2006, Zurich, Switzerland
pp 148-157
IEEE Computer Society, 2006

[Abstract]

Transaction Manager Failover: A Case Study Using JBOSS Application Server
Kistijantoro, A. I. , Morgan, G. and Shrivastava, S. K.
In On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops ... Montpellier, France, October 29-November 3, 2006
Meersman, R., Tari, Z. , Herrero, P. et al. (eds.)
Lecture Notes in Computer Science, 4278, pp 1555 - 1564
Springer-Verlag, 2006
Notes : Paper presented at International Workshop on Reliability in Decentralized Distributed Systems (RDDS). Published in OTM 2006 Workshops Proceedings Pt. II.

[Abstract]

Decentralised Coordination of Web Services for B2B Integration
Woodman, S., Palmer, D., Shrivastava, S. and Wheater, S.
In Proceedings of Middleware for Web Services (MWS) 2005 Workshop held at EDOC 2005 Conference, on September 19, 2005 in Enschede, The Netherlands
Tosic, V., van Moorsel, A. and Wong, R. (eds)
pp 24-31
IEEE, 2005

[Abstract]

Implementing Fair Non-repudiable Interactions with Web Services
Robinson, P., Cook, N. and Shrivastava, S.
In Ninth IEEE International EDOC Enterprise Computing Conference, Enschede, The Netherlands, 19-23 September 2005
pp 195-206
IEEE Computer Society, 2005
Notes : EDOC 2005

[Abstract]

A Method for Specifying Contract Mediated Interactions
Molina-Jimenez C., Shrivastava S. and Warne J.
In Ninth IEEE International EDOC Enterprise Computing Conference, Enschede, The Netherlands, 19-23 September 2005
pp 106-115
IEEE Computer Society, 2005
Notes : EDOC 2005

[Abstract]

The Evolution of a Transaction Processing System
Little, M. and Shrivastava, S.
In 11th Biennial High Performance Transaction Systems Workshop (HPTS2005), Pacific Grove, California, September 25th-28th 2005
The Standish Group, 2005
Notes : HPTS2005 web site links to slides of presentation, given by M. Little.

Component Middleware to Support Non-repudiable Service Interactions
Cook, N., Robinson, P. and Shrivastava, S.
In International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy
pp 605-614
IEEE Computer Society, 2004

[Abstract]

On the Monitoring of Contractual Service Level Agreements
Molina-Jimenez, C., Shrivastava, S., Crowcroft, J. and Gevros, P.
In IEEE Conference on Electronic Commerce CEC'04, The First IEEE International Workshop on Electronic Contracting (WEC), San Diego, 6-9, 2004
2004

[Abstract]

An Approach to Adaptive Performance Tuning of Application Servers
Ferrari, G., Shrivastava, S. and Ezhilchelvan, P.
In Workshop on Quality of Service for Application Servers, October 17, 2004, Florianopolis, Brazil, in conjunction with 23rd Symposium on Reliable Distributed Systems
Smith, R. and Morgan, G. (eds.)
pp 7-12
IEEE Computer Society , 2004

[Abstract]

Notations for the Specification and Verification of Composite Web Services
Woodman, S.J., Palmer, D.J., Shrivastava, S.K, and Wheater, S.M.
In 8th IEEE International Enterprise Distributed Object Computing Conference (EDOC '04) September 20-24,2004, Monterey, California
pp 35-46
IEEE Computer Society, 2004

[Abstract]

Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises (short paper)
Cook, N., Shrivastava, S. and Wheater, S.
In Distributed Applications and Interoperable Systems: 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003
Stefani, J.-B., Demeure, I. and Hagimont, D. (eds)
Lecture Notes in Computer Science, 2893, pp 125-132
Springer, 2003

[Abstract]

Model Checking Correctness Properties of Electronic Contracts
Solaiman, E., Molina-Jimenez, C. and Shrivastava. S.
In International Conference on Service Oriented Computing (ICSOC03),Trento, Italy, December 2003.
Orlowska, Marie E., Weerawarana, Sanjiva, Papazogolou, Michael P. et.al.
Lecture Notes in Computer Science, 2910, pp 303-318
Springer, 2003

[Abstract]

Component Replication in Distributed Systems: a Case study using Enterprise Java Beans
Kistijantoro A. I., Morgan G. , Shrivastava S. K., Little M. C.
In 22nd International Symposium On Reliable Distributed Systems (SRDS), Florence, Italy
pp 89-98
IEEE Computer Society Press, 2003

[Abstract]

System Support for Small-scale Auctions
Lin, N., Shrivastava, S. K.
In The 2nd Mediterranean Workshop on Ad-Hoc Networks MED-HOC NET 2003 (IFIP-TC6-WG6.8), Mahdia, Tunisia, June
pp 143-149
2003

Contract Representation for Run-time Monitoring and Enforcement
Molina-Jimenez, C., Shrivastava, S.K., Solaiman, E. and Warne, J.P.
In 2003 IEEE International Conference on E-Commerce (CEC 2003), Newport Beach, California, USA, 24-27 June 2003
Chung, J.-Y. and Zhang, L.-J. (eds.)
pp 103-110
IEEE Computer Society Press, 2003ISBN 0-7695-1969-5

[Abstract]

Systematic Development of a Family of Fair Exchange Protocols
Ezhilchelvan, P. D., Shrivastava, S.K.
In 17th Annual IFIP WG 11.3 Working Conference on Database and Applications Security, Estes Park, Colorado, August 4-6
2003

Distributed Object Middleware to Support Dependable Information Sharing between Organisations
Cook, N., Shrivastava, S. and Wheater S.
In International Conference on Dependable Systems and Networks, 23-26 June 2002, Washington, DC, USA
pp 249-258
IEEE Computer Society, 2002ISBN 0-7695-1597-5

[Abstract]

Middleware for supporting inter-organisational interactions
Shrivastava, S.
In Workshop on Future Directions in Distributed Computing (FuDiCo2002)
Schiper, A.; Shvartsman, A. A.; Weatherspoon, H.; Zhao, B. Y.
Lecture Notes in Computer Science, 2584, pp 202-206
Springer-Verlag, 2002

An Examination of the Transition of the Arjuna Distributed Transaction Processing Software from Research to Products
Little, M.C. and Shrivastava, S.K.
In 2nd USENIX Workshop on Industrial Experiences with Systems Software (WIESS '02), Boston, MA, USA, 8 December 2002 (Co-located with OSDI '02)
USENIX Association, 2002

[Abstract]

The CORBA Activity Service Framework for Supporting Extended Transactions
Houston, I., Little, M.C., and Robinson, I. et. al.
In 2001 IFIP/ACM International Conference on Distributed Systems Platforms (Middleware 2001), Heidelberg, Germany, 12-16 November 2001
Guerraoui, R. (ed)
Lecture Notes in Computer Science, 2218, pp 197-215
Springer-Verlag, 2001ISBN 3-540-42800-3

[Abstract]

Theory and Practice of Building Reliable Distributed Applications
Little, M.C., Shrivastava, S.K. and Wheater, S.M.
In 3rd IEEE International Symposium on Distributed Objects and Applications (DOA '01), Rome, Italy, 17-20 September 2001
Blair, G., Schmidt, D. and Tari, Z. (eds.)
pp 353-354
IEEE Computer Society Press, 2001ISBN 0-7695-1300-X

A Model and Architecture for Conducting Hierarchically Structured Auctions
Ezhilchelvan, P.D., Shrivastava, S.K. and Little, M.C.
In 4th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg, Germany, 2-4 May 2001
pp 129-137
IEEE Computer Society Press, 2001ISBN 0-7695-1089-2

[Abstract]

Flexible Workflow Management in the OPENflow system
Halliday, J.J., Shrivastava, S.K. and Wheater, S.M.
In 5th IEEE/OMG International Enterprise Distributed Object Computing Conference (EDOC 2001), Seattle, Washington, USA, 4-7 September 2001
pp 82-92
IEEE Computer Society Press, 2001ISBN 0-7695-1345-X

[Abstract]

Implementing Flexible Object Group Invocation in Networked Systems
Morgan, G. and Shrivastava, S.K.
In 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), New York, USA, 25-28 June 2000
pp 439-448
IEEE Computer Society Press, 2000ISBN 0-7695-0707-7

[Abstract]

A Workflow and Agent based Platform for Service Provisioning
Shrivastava, S.K., Bellissard, L. and Féliot, D. et. al.
In 4th IEEE/OMG International Enterprise Distributed Object Computing Conference (EDOC 2000), Makuhari, Japan, 25-28 September 2000
pp 38-47
IEEE Computer Society Press, 2000ISBN 0-7695-0865-0

[Abstract]

Enhancing Replica Management Services to Tolerate Group Failures
Ezhilchelvan, P.D. and Shrivastava, S.K.
In 2nd IEEE International Symposium on Object Oriented Real-Time Computing (ISORC '99), St. Malo, France, 2-5 May 1999
pp 263-270
IEEE Computer Society Press, 1999ISBN 0-7695-0207-5

[Abstract]

On the Provision of Replicated Internet Auction Services
Panzieri, F. and Shrivastava, S.K.
In 1999 IEEE Workshop on Electronic Commerce (WELCOM '99), part of the 18th IEEE Symposium on Reliable Distributed Systems (SRDS '99), Lausanne, Switzerland, 19-22 October 1999
pp 390-395
IEEE Computer Society Press, 1999ISBN 0-7695-0290-3

[Abstract]

Understanding the Role of Atomic Transactions and Group Communications in Implementing Persistent Replicated Objects
Little, M.C. and Shrivastava, S.K.
In 8th International Workshop on Persistent Object Systems: Design, Implementation and Use (POS8), Advances in Persistent Object Systems, Tiburon, California, USA, 30 August - 1 September 1998
Morrison, R., Jordan, M.J. and Atkinson, M.P. (eds.)
pp 17-28
Morgan Kaufmann, 1999ISBN 1-55860-585-1

[Abstract]

Implementing High Availability CORBA Applications with Java
Little, M.C. and Shrivastava, S.K.
In 1st IEEE Workshop on Internet Applications (WIAPP '99), San Jose, CA, USA, 26-27 July 1999
pp 112-119
IEEE Computer Society Press, 1999ISBN 0-7695-0197-4

[Abstract]

Implementing Support for Work Activity Coordination within a Distributed Workflow System
Halliday, J.J., Shrivastava, S.K. and Wheater, S.M.
In 3rd IEEE/OMG International Enterprise Distributed Object Computing Conference (EDOC '99), University of Mannheim, Germany, 27-30 September 1999
pp 116-123
IEEE Press, 1999ISBN 0-7803-5784-1

[Abstract]

Design and Implementation of a CORBA Fault-Tolerant Object Group Service
Morgan, G., Shrivastava, S.K., Ezhilchelvan, P.D. and Little, M.C.
In 2nd IFIP TC 6 WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS 1999), Helsinki, Finland, 28 June - 1 July 1999
Kutvonen, L., Koenig, H. and Tienari, M. (eds.)
IFIP Conference Proceedings, 143, pp 361-374
Kluwer Academic Publishers, 1999ISBN 0-7923-8527-6

[Abstract]

A Method for Combining Replication with Cacheing
Little, M.C. and Shrivastava, S.K.
In 1999 IEEE Workshop on Reliable Middleware (WREMI '99), part of the 18th IEEE Symposium on Reliable Distributed Systems (SRDS '99), Lausanne, Switzerland, 19-22 October 1999
pp 316-321
IEEE Computer Society Press, 1999ISBN 0-7695-0290-3

[Abstract]

Integrating the Object Transaction Service with the Web
Little, M.C. and Shrivastava, S.K.
In 2nd IEEE International Enterprise Distributed Object Computing Workshop (EDOC '98), La Jolla, California, USA, 3-5 November 1998
pp 194-205
IEEE Computer Society Press, 1998ISBN 0-7803-5158-4

[Abstract]

Architectural Support for Dynamic Reconfiguration of Large Scale Distributed Applications
Shrivastava, S.K. and Wheater, S.M.
In 4th IEEE International Conference on Configurable Distributed Systems (ICCDS '98), Annapolis, Maryland, USA, 4-6 May 1998
pp 10-17
IEEE Computer Society Press, 1998ISBN 0-8186-8451-8

[Abstract]

A Language for Specifying the Composition of Reliable Distributed Applications
Ranno, F., Shrivastava, S.K. and Wheater, S.M.
In 18th IEEE International Conference on Distributed Computing Systems (ICDCS '98), Amsterdam, The Netherlands, 26-29 May 1998
pp 534-543
IEEE Computer Society Press, 1998ISBN 0-8186-8292-2

[Abstract]

A Transactional Workflow based Distributed Application Composition and Execution Environment
Shrivastava, S.K. and Wheater, S.M.
In 8th ACM SIGOPS European Workshop on Support for Composing Distributed Applications (EW-8), Sintra, Portugal, 7-10 September 1998
pp 74-81
ACM Press, New York, 1998

Java Transactions for the Internet
Little, M.C. and Shrivastava, S.K.
In 4th USENIX Conference on Object-Oriented Technologies and Systems (COOTS IV), Santa Fe, New Mexico, USA, April 1998
USENIX Association, 1998ISBN 1-88044-693-6

[Abstract]

Checked Transactions in an Asynchronous Message Passing Environment
Caughey, S.J., Little, M.C. and Shrivastava, S.K.
In 1st IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '98), Kyoto, Japan, 20-22 April 1998
pp 222-229
IEEE Computer Society Press, 1998ISBN 0-8186-8430-5

[Abstract]

Inter-task Co-ordination in Long-Lived Distributed Applications
Shrivastava, S.K.
In 12th International Symposium on Distributed Computing (DISC '98), Andros, Greece, 24-26 September 1998
Kutten, S. (ed)
Lecture Notes in Computer Science, 1499, pp 20-21
Springer-Verlag, 1998ISBN 3-540-65066-0

A CORBA Compliant Transactional Workflow System for Internet Applications
Wheater, S.M., Shrivastava, S.K. and Ranno, F.
In IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware '98), The Lake District, UK, 15-18 September 1998
Davies, N., Raymond, K. and Seitz, J. (eds.)
pp 3-18
Springer-Verlag, 1998ISBN 1-852-33088-0

[Abstract]

A Framework for Configurable Distributed Transactions
Wheater, S.M. and Shrivastava, S.K.
In 7th High Performance Transaction Systems Workshop (HPTS 1997), Asilomar Conference Center, Pacific Grove, California, USA, September 1997
1997

Distributed Transactions in Java
Little, M.C. and Shrivastava, S.K.
In 7th High Performance Transaction Systems Workshop (HPTS 1997), Asilomar Conference Center, Pacific Grove, California, USA, September 1997
1997

Fault-Tolerant Parallel Applications Using Queues and Actions
Smith, J. and Shrivastava, S.K.
In 26th International Conference on Parallel Processing (ICPP '97), Bloomington, IL, USA, 11-15 August 1997
pp 145-149
IEEE Computer Society Press, 1997ISBN 0-8186-8108-X

A System for Specifying and Coordinating the Execution of Reliable Distributed Applications
Ranno, F., Shrivastava, S.K. and Wheater, S.M.
In 1st IFIP TC 6 WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS '97), Cottbus, Germany, 30 September - 2 October 1997
Konig, H., Geihs, K.G. and Preuss, T. (eds.)
pp 281-294
Chapman & Hall, 1997ISBN 0-412-82340-3

[Abstract]

Constructing Reliable Web Applications Using Atomic Actions
Little, M.C., Shrivastava, S.K., Caughey, S.J. and Ingham, D.B.
In 6th International World Wide Web Conference, Santa Clara, California, USA, 7-11 April 1997
Computer Networks and ISDN Systems, 29, pp 561-571
Elsevier Science Publishers, 1997

[Abstract]

Using Application Specific Knowledge for Configuring Object Replicas
Little, M.C. and Shrivastava, S.K.
In 3rd IEEE International Conference on Configurable Distributed Systems (ICCDS '96), Maryland, USA, 6-8 May 1996
pp 169-176
IEEE Computer Society Press, 1996ISBN 0-8186-7395-8

[Abstract]

Structuring Call Control Software Using Distributed Objects
Blair, H., Caughey, S.J., Green, H. and Shrivastava, S.K.
In 1996 International Workshop on Trends in Distributed Systems: CORBA and Beyond (TreDS '96), Aachen, Germany, 1-2 October 1996
Spaniol, O., Linnhoff-Popien, C. and Meyer, B. (eds.)
Lecture Notes in Computer Science, 1161, pp 94-107
Springer-Verlag, 1996ISBN 3-540-61842-2

A System for Fault-Tolerant Execution of Data and Compute Intensive Programs Over a Network of Workstations
Smith, J.A. and Shrivastava, S.K.
In 2nd International Euro-Par Conference (Euro-Par '96) Lyon, France, 26-29 August 1996
Bougé, L., Fraigniaud, P., Mignotte, A. and Robert, Y. (eds.)
Lecture Notes in Computer Science, 1123, pp 487-495
Springer-Verlag, 1996ISBN 3-540-61626-8

Flow Control Schemes for a Fault-Tolerant Multicast Protocol
Macedo, R.A., Ezhilchelvan, P.D. and Shrivastava, S.K.
In 1995 Pacific Rim International Symposium on Fault-Tolerant Systems (PRFTS '95), Newport Beach, California, USA, 4-5 December 1995
pp 80-85
IEEE Computer Society Press, 1995ISBN 0-8186-7315-X

Architectural Support for Mobile Objects in Large Scale Distributed Systems
Caughey, S.J. and Shrivastava, S.K.
In 4th IEEE International Workshop on Object Orientation in Operating Systems (IWOOOS '95), Lund, Sweden, 14-15 August 1995
Cabrera, L.-F. and Theimer, M. (eds.)
IEEE Computer Society Press, 1995ISBN 0-8186-7115-7

[Abstract]

Lessons Learned from Building and Using the Arjuna Distributed Programming System
Shrivastava, S.K.
In International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Seminar no. 9436: Unifying Theory and Practice in Distributed Systems), Dagstuhl Castle, Germany, 5-9 September 1994
Birman, K.P., Mattern, F. and Schiper, A. (eds.)
Lecture Notes in Computer Science, 938, pp 17-32
Springer-Verlag, 1995ISBN 3-540-60042-6

[Abstract]

The Implementation and Performance Analysis of a Total Delivery Protocol for Group Communication
Macêdo, R.J. de A. and Shrivastava, S.K.
In Latin-American Computer Science Conference (PANEL '95), Canela, Brazil

pp 287-299
1995

W3Objects: Bringing Object-Oriented Technology to the Web
Ingham, D.B., Little, M.C., Caughey, S.J. and Shrivastava, S.K.
In 4th International World Wide Web Conference, Boston, Massachusetts, USA, 11-14 December 1995
Irving, C. (ed)
World Wide Web Journal, 1, pp 89-105
O'Reilly & Associates, 1995ISBN 1-565-92169-0

[Abstract]

Newtop: A Fault-Tolerant Group Communication Protocol
Ezhilchelvan, P.D., Macêdo, R.A. and Shrivastava, S.K.
In 15th IEEE International Conference on Distributed Computing Systems (ICDCS '95), Vancouver, BC, Canada, 30 May - 2 June 1995
pp 296-306
IEEE Computer Society Press, 1995ISBN 0-8186-7025-8

[Abstract]

Exercising Application Specific Run-Time Control Over Clustering of Objects
Wheater, S.M. and Shrivastava, S.K.
In 2nd IEEE International Workshop on Configurable Distributed Systems (IWCDS-2), Pittsburgh, USA, 21-23 March 1994
pp 72-81
IEEE Computer Society Press, 1994ISBN 0-8186-5390-6

Building Fault-Tolerant Distributed Computing Systems Using Standard Components
Barrett, P.A., Shrivastava, S.K., Speirs, N.A. and Waterworth, A.
In 9th AIAA Computing in Aerospace Conference (AIAA Computing in Aerospace 9), San Diego, CA, USA, 19-21 October 1993
AIAA Computing in Aerospace 9 Technical Papers, 1, pp 640-648
American Institute of Aeronautics and Astronautics, 1993ISBN 0-685-70342-8

Maintaining Information about Persistent Replicated Objects in a Distributed System
Little, M.C., McCue, D.L. and Shrivastava, S.K.
In 13th IEEE International Conference on Distributed Computing Systems (ICDCS '93), Pittsburgh, PA, USA, 25-28 May 1993
pp 491-498
IEEE Computer Society Press, 1993ISBN 0-8186-3770-6

SHADOWS - A Flexible Support System for Objects in Distributed Systems
Caughey, S.J., Parrington, G.D. and Shrivastava, S.K.
In 3rd IEEE International Workshop on Object-Orientation in Operating Systems (IWOOOS '93), Ashville, North Carolina, USA, December 1993
Cabrera, L.-F. and Hutchinson, N. (eds.)
IEEE Computer Society Press, 1993ISBN 0-8186-5270-5

A Distributed Systems Architecture Supporting High Availability and Reliability
Ezhilchelvan, P. and Shrivastava, S.K.
In 2nd IFIP TC11 WG 10.4 International Working Conference on Dependable Computing for Critical Applications (DCCA-2), Tucson, Arizona, USA, February 1992
Meyer, J.F. and Schlichting, R.D. (eds.)
Dependable Computing and Fault-Tolerant Systems, 6, pp 67-91
Springer-Verlag, 1992ISBN 0-387-82330-1

Implementing fault-tolerant object systems on distributed memory multiprocessors
Caughey, S.J. and Shrivastava, S.K.
In 2nd IEEE International Workshop on Object Orientation in Operating Systems: Operating systems support for distributed and persistent objects (IWOOOS '92), Dourdan, France, 24-25 September 1992
Cabrera, L.-F. and Jul, E. (eds)
pp 172-179
IEEE Computer Society Press, 1992ISBN 0-8186-3015-9

Operating System Support for Object-Oriented Distributed Systems
Shrivastava, S.K. and McCue, D.L.
In International Workshop on Operating Systems of the 90s and Beyond (Dagstuhl Seminar no. 9128: Operating Systems of the 1990s), Dagstuhl Castle, Germany, 8-12 July 1991
Karshmer, A. and Nehmer, J. (eds.)
Lecture Notes in Computer Science, 563, pp 256-257
Springer-Verlag, 1991ISBN 3-540-54987-0

Structuring Fault-Tolerant Object Systems for Portability
McCue, D.L. and Shrivastava, S.K.
In 4th ACM SIGOPS European Workshop: Fault Tolerance Support in Distributed Systems (EW 4), University of Bologna, Italy, 3-5 September 1990
ACM SIGOPS Operating Systems Review (Issue 2), 25, pp 118-121
ACM Press, New York, 1991ISBN 0163-5980

Using objects and actions to provide fault tolerance in distributed real-time systems
Shrivastava, S.K. and Waterworth, A.
In 12th IEEE Real-Time Systems Symposium (RTSS 1991), San Antonio, Texas, USA, 4-6 December 1991
pp 276-285
IEEE Computer Society Press, 1991ISBN 0-8186-2451-5

Implementing Fault-Tolerant Distributed Applications Using Objects and Multi-Coloured Actions
Shrivastava, S.K. and Wheater, S.M.
In 10th IEEE International Conference on Distributed Computing Systems (ICDCS-10), Paris, France, 28 May - 1 June 1990
pp 203-210
IEEE Computer Society Press, 1990ISBN 0-8186-2048-X

Structuring Persistent Object Systems for Portability in a Distributed Environment
McCue, D.L. and Shrivastava, S.K.
In 4th ACM SIGOPT Workshop, Bologna, Italy, September 1990
1990

Fault-tolerant object-oriented computations for MIMD machines
Shrivastava, S.K.
In SERC/DTI Workshop on Software Standards for MIMD Machines, Abingdon, UK, February 1990
SERC/DTI, 1990

Replicated K-Resilient Objects in Arjuna
Little, M.C. and Shrivastava, S.K.
In 1st IEEE Workshop on the Management of Replicated Data, Houston, Texas, USA, 8-9 November 1990
Cabrera, L.-F. and Pâris, J.-F. (eds.)
pp 53-58
IEEE Computer Society Press, 1990ISBN 0-8186-2085-4

Preventing State Divergence in Replicated Distributed Programs
Tully, A. and Shrivastava, S.K.
In 9th IEEE Symposium on Reliable Distributed Systems (SRDS-9), Huntsville, Alabama, USA, October 1990
pp 104-113
IEEE Computer Society Press, 1990ISBN 0-8186-9081-X

The Treatment of Persistent Objects in Arjuna
Dixon, G.N., Parrington, G.D., Shrivastava, S.K. and Wheater, S.M.
In 3rd European Conference on Object-Oriented Programming (ECOOP '89), University of Nottingham, UK, 10-14 July 1989
Cook, S. (ed)
British Computer Society Workshop series, pp 169-189
Cambridge University Press, 1989ISBN 0-521-38232-7

Objects and Multi-Coloured Actions
Shrivastava, S.K. and Wheater, S.M.
In 3rd Workshop on Large Grained Parallelism, SEI, Carnegie Mellon University, Pittsburgh, 9-11 October 1989
1989

Constructing Replicated Systems Using Processors With Point to Point Communication Links
Ezhilchelvan, P.D., Shrivastava, S.K. and Tully, A.
In 16th Annual Symposium on Computer Architecture, Jerusalem, Israel, June 1989
pp 177-184
IEEE Computer Society Press, 1989ISBN 0-8186-1948-1

Replication within Atomic Actions and Conversations: A Case Study in Fault-Tolerance Duality
Mancini, L.V. and Shrivastava, S.K.
In 19th International Symposium on Fault-Tolerant Computing (FTCS-19), Hyatt Regency Hotel, Chicago, IL, USA, 21-23 June 1989
pp 454-461
IEEE Computer Society Press, 1989ISBN 0-8186-1959-7

Fault tolerance in distributed systems
Shrivastava, S.K.
In 1989 Hewlett-Packard European Scientific Symposium, Paris, France, 1989
pp 86-92
1989

A Formal Treatment of Interference in Remote Procedure Calls
Pappalardo, G. and Shrivastava, S.K.
In Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), University of Warwick, UK, 22-23 September 1988
Joseph, M. (ed)
Lecture Notes in Computer Science, 331, pp 209-227
Springer-Verlag, 1988ISBN 3-540-50302-1

Implementing Concurrency Control in Reliable Distributed Object-Oriented Systems
Parrington, G.D. and Shrivastava, S.K.
In 2nd European Conference on Object-Oriented Programming (ECOOP '88), Oslo, Norway, 15-17 August 1988
Gjessing, S. and Nygaard, K. (eds.)
Lecture Notes in Computer Science, 322, pp 233-249
Springer-Verlag, 1988ISBN 3-540-50053-7

Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems
Dixon, G.N. and Shrivastava, S.K.
In 6th IEEE Symposium on Reliability in Distributed Software and Database Systems, Williamsburg, Virginia, USA, March 1987
pp 107-114
IEEE Computer Society Press, 1987ISBN 0-8186-0737-8

Managing Persistent Objects in Arjuna: A System for Reliable Distributed Computing
Dixon, G.N., Shrivastava, S.K. and Parrington, G.D.
In 2nd International Workshop on Persistent Object Systems: Their Design, Implementation and Use (POS-2), Appin, Scotland, 25-28 August 1987
Carrick, R. and Cooper, R. (eds.)
Programming Research Reports, University of Glasgow and St. Andrew's University, TR PPRR-44-87, pp 246-265
University of Glasgow and St. Andrew's University, 1987

On the Duality of Fault-Tolerant System Structures
Shrivastava, S.K., Mancini, L.V. and Randell, B.
In International Workshop on Experiences with Distributed Systems, Kaiserslautern, Germany, 28-30 September 1987
Nehmer, J. (ed)
Lecture Notes in Computer Science, 309, pp 19-37
Springer-Verlag, 1987ISBN 3-540-19333-2

A Characterisation of Faults in Systems
Ezhilchelvan, P.D. and Shrivastava. S.K.
In 5th IEEE Symposium on Reliability in Distributed Software and Database Systems, Los Angeles, CA, January 1986
pp 215-233
1986

Efficient schemes for constructing fail-silent nodes in distributed systems
Speirs, N.A., Shrivastava, S.K., Ezhilchelvan, P.D., Brasileiro, F. and Tao, S.
University of Newcstle upon Tyne, 1997, GB2288045

Efficient Schemes for Constructing Reliable Computing Nodes in Distributed Systems
Speirs, N.A., Shrivastava, S.K., Ezhilchelvan, P.D., Tao, S. and Brasileiro, F.V.
University of Newcastle upon Tyne, 1992, PCT/GB 93/02225

CS-TR N^o 1150 Implementing a Rule-Based Contract Compliance Checker
Strano, M., Molina-Jimenez, C., Shrivastava, S.
School of Computing Science, Newcastle University, Apr 2009

[Abstract]

CS-TR N^o 1149 Exception Handling in Electronic Contracting
Molina-Jimenez, C., Shrivastava, S., Strano, M.
School of Computing Science, Newcastle University, Apr 2009

[Abstract]

CS-TR N^o 1146 Sustaining Intrusion-Tolerance by Proactive Replacement
Ezhilchelvan, P., Clarke, D., Mitrani, I., Shrivastava, S.
School of Computing Science, Newcastle University, Mar 2009

[Abstract]

CS-TR N^o 1115 A Rule-based Notation to Specify Executable Electronic Contracts
Strano, M., Molina-Jimenez, C., Shrivastava, S.
School of Computing Science, Newcastle University, Aug 2008

[Abstract]

CS-TR N^o 1094 A Model for Checking Contractual Compliance of Business Operations
Strano, M., Molina-Jimenez, C., Shrivastava, S.
School of Computing Science, Newcastle University, Apr 2008

[Abstract]

CS-TR N^o 975 Transaction Manager Failover: A Case Study Using JBOSS Application Server
Kistijantoro, A. I., Morgan, G., Shrivastava, S. K.
School of Computing Science, Newcastle University, Jul 2006

[Abstract]

CS-TR N^o 937 A Framework for the Rigorous Implementation of Security Protocols
Robinson, P., Cook, N., Shrivastava, S.
School of Computing Science, Newcastle University, Dec 2005

[Abstract]

CS-TR N^o 928 A Family of Trusted Third Party based Fair-Exchange Protocols
Ezhilchelvan, P. D., Shrivastava, S.
School of Computing Science, Newcastle University, Sep 2005

[Abstract]

CS-TR N^o 914 A Method for Specifying Contract Mediated Interactions
Molina-Jimenez, C., Shrivastava, S., Warne, J.
School of Computing Science, Newcastle University, Jun 2005

[Abstract]

CS-TR N^o 913 Implementing Fair Non-repudiable Interactions with Web Services
Robinson, P., Cook, N., Shrivastava, S.
School of Computing Science, Newcastle University, Jun 2005

[Abstract]

CS-TR N^o 849 Notations for the Specification and Verification of Composite Web Services
Woodman, S.J., Palmer, D.J., Shrivastava, S.K. and Wheater, S.M.
School of Computing Science, Newcastle University, Jun 2004

[Abstract]

CS-TR N^o 848 Distributed Enactment of Composite Web Services
Woodman, S.J., Palmer, D.J., Shrivastava, S.K. and Wheater, S.M.
School of Computing Science, Newcastle University, Jun 2004

[Abstract]

CS-TR N^o 835 On the Monitoring of Contractual Service Level Agreements
Molina-Jimenez, C., Shrivastava, S., Crowcroft, J. and Gevros P.
School of Computing Science, Newcastle University, Apr 2004

[Abstract]

CS-TR N^o 834 Component Middleware to Support Non-repudiable Service Interactions
Cook, N., Robinson, P., and Shrivastava, S.
School of Computing Science, Newcastle University, Mar 2004

[Abstract]

CS-TR N^o 820 Systematic Development of a Family of Fair Exchange Protocols
Ezhilchelvan, P. D., and Shrivastava, S. K.
School of Computing Science, Newcastle University, Dec 2003

[Abstract]

CS-TR N^o 814 Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises
Cook, N., Shrivastava, S. and Wheater, S.
School of Computing Science, Newcastle University, Aug 2003

[Abstract]

CS-TR N^o 811 Model Checking Correctness Properties of Electronic Contracts
Solaiman, E., Molina-Jimenez, C. and Shrivastava, S.
School of Computing Science, Newcastle University, Jul 2003

[Abstract]

CS-TR N^o 810 Contract Representation for Run-time Monitoring and Enforcement
Molina-Jimenez, C., Shrivastava, S., Solaiman, E., and Warne, J.
School of Computing Science, Newcastle University, Jul 2003

[Abstract]

CS-TR N^o 753 Distributed Object Middleware to Support Dependable Information Sharing between Organisations
Cook, N.O., Shrivastava, S.K. and Wheater, S.M.
School of Computing Science, Newcastle University, Dec 2001

[Abstract]

CS-TR N^o 723 A Model and Architecture for Conducting Hierarchically Structured Auctions
P.D. Ezhilchelvan, S.K. Shrivastava and M.C. Little
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 665 Enhancing Replica Management Services to Cope with Group Failures
P.D. Ezhilchelvan and S.K. Shrivastava
School of Computing Science, Newcastle University, 1999

[Abstract]

CS-TR N^o 656 Integrating the Object Transaction Service with the Web
M.C. Little and S.K. Shrivastava
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 655 Checked Transactions in an Asynchronous Message Passing Environment
S.J. Caughey, M.C. Little and S.K. Shrivastava
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 653 Building Configurable Applications in Java
M.C. Little and S.K. Shrivastava
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 652 Java Transactions for the Internet
M.C. Little and S.K. Shrivastava
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 651 Distributed Transactions in Java
M.C. Little and S.K. Shrivastava
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 647 A CORBA Compliant Transactional Workflow System for Internet Applications
S.M. Wheater, S.K. Shrivastava and F. Ranno
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 646 A Language for Specifying the Composition of Reliable Distributed Applications
F. Ranno, S.K. Shrivastava and S.M. Wheater
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 645 Architectural Support for Dynamic Reconfiguration of Large Scale Distributed Apllications
S.K. Shrivastava and S.M. Wheater
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 644 A System for Specifying and Coordinating the Execution of Reliable Distributed Aplications
F. Ranno, S.K. Shrivastava and S.M. Wheater
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 602 Determining the Last Membership of a Process Group after a Total Failure
Black, D., P.D. Ezhilchelvan and S.K. Shrivastava
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 601 Constructing Reliable Web Applications Using Atomic Actions
M.C. Little, S.K. Shrivastava, S.J. Caughey and D.B. Ingham
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 590 W3Objects: Bringing Object-Oriented Technology to the Web
Ingham, D.B., Little, M.C., Caughey, S.J. and Shrivastava, S.K.
School of Computing Science, Newcastle University, Apr 1997

[Abstract]

CS-TR N^o 580 Fault Injection Testing of Software Implemented Fault Tolerance Mechanisms of Distributed Systems
S. Tao
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 579 Using Application Specific Knowledge for Configuring Object Replicas
M.C. Little and S.K. Shrivastava
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 558 Structuring Call Control Software Using Distributed Objects
H. Blair, S.J. Caughey, H. Green and S.K. Shrivastava
School of Computing Science, Newcastle University, 1996

[Abstract]

CS-TR N^o 557 A Toolkit for Constructing Distributed Object-Oriented Metainformation Systems
A. Calsavara and S.K. Shrivastava
School of Computing Science, Newcastle University, 1996

[Abstract]

CS-TR N^o 553 A System for Fault-Tolerant Execution of Data and Compute Intensive Programs Over a Network of Workstations
J.A. Smith and S.K. Shrivastava
School of Computing Science, Newcastle University, 1996

[Abstract]

CS-TR N^o 509 The Design and Implementation of Arjuna.
G.D. Parrington, S.K. Shrivastava, S.M. Wheater and M.C. Little
School of Computing Science, Newcastle University, 1995

[Abstract]

CS-TR N^o 461 rel/REL: A Family of Reliable Multicast Protocols for Distributed Real-time Systems
Ezhilchelvan, P.D. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1993

[Abstract]

CS-TR N^o 453 SHADOWS - A Flexible Support System for Objects in Distributed Systems
Caughey, S.J., Parrington, G.D. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1993

[Abstract]

CS-TR N^o 449 Building Fault-tolerant Distributed Computing Systems using Standard Components
Barrett, P.A., Shrivastava, S.K., Speirs, N.A. and Waterworth, A.
School of Computing Science, Newcastle University, 1993

[Abstract]

CS-TR N^o 422 Maintaining Information about Persistent Replicated Objects in a Distributed System
Little, M.C., McCue, D.L. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1993

[Abstract]

CS-TR N^o 418 Active Replication of Distributed Programs: Problems and Solutions
Shrivastava, S.K. and Tully, A.
School of Computing Science, Newcastle University, 1993

[Abstract]

CS-TR N^o 414 Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment
Shrivastava, S.K. and McCue, D.L.
School of Computing Science, Newcastle University, 1993

[Abstract]

CS-TR N^o 413 Efficient Protocols for Fail-silent Nodes in Distributed Systems
Brasiliero, F.V., Ezhilchelvan, P.D., Shrivastava, S.K., Speirs, N.A. and Tao, S.
School of Computing Science, Newcastle University, 1993

[Abstract]

CS-TR N^o 391 Implementing Fault-Tolerant Object Systems on Distributed Memory Multiprocessors
Caughey, S.J., Shrivastava, S.K. and McCue, D.L.
School of Computing Science, Newcastle University, 1992

[Abstract]

CS-TR N^o 349 Using Objects and Actions to Provide Fault tolerance in Distributed, Real-Time Applications
Shrivastava, S.K. and Waterworth, A.
School of Computing Science, Newcastle University, 1991

[Abstract]

CS-TR N^o 348 Principal Features of the Voltan Family of Reliable Node Architectures for Distributed Systems
Shrivastava, S.K., Ezhilchelvan, P.D., Speirs, N.A., Tao, S. and Tully, A.
School of Computing Science, Newcastle University, 1991

[Abstract]

CS-TR N^o 333 Fail-controlled Computer Architectures for Distributed Systems
Shrivastava, S.K., Ezhilchelvan, P.D., Speirs, N.A. and Seaton, D.T.
School of Computing Science, Newcastle University, 1991

[Abstract]

CS-TR N^o 319 Replicated K-Resilient Objects in Arjuna
Little, M.C. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1991

[Abstract]

CS-TR N^o 315 Implementing Fault-tolerant Distributed Applications using Objects and Multi-coloured Actions
Shrivastava, S.K. and Wheater, S.M.
School of Computing Science, Newcastle University, 1990

[Abstract]

CS-TR N^o 305 The Duality of Fault-Tolerant System Structures
Shrivastava, S.K., Mancini, L.V. and Randell, B.
School of Computing Science, Newcastle University, 1990

[Abstract]

CS-TR N^o 298 An Overview of Arjuna: A Programming System for Reliable Distributed Computing
Shrivastava, S.K., Dixon, G.N. and Parrington, G.D.
School of Computing Science, Newcastle University, 1989

[Abstract]

CS-TR N^o 283 The Treatment of Persistent Objects in Arjuna
Dixon, G.N., Parrington, G.D., Shrivastava, S.K. and Wheater, S.M.
School of Computing Science, Newcastle University, 1989

[Abstract]

CS-TR N^o 281 Replication within Atomic Actions and Conversations: A Case Study in Fault-Tolerance Duality
Mancini, L.V. and Shrivastava, S.K.
School of Computing Science, Newcastle University, Apr 1989

[Abstract]

CS-TR N^o 280 The Design and Implementation of Arjuna
Shrivastava, S.K., Dixon, G.N., Parrington, G.D., Hedayati, F., Wheater, S.M. and Little, M.C.
School of Computing Science, Newcastle University, 1989

CS-TR N^o 278 An Empirical Study of the Performance of Distributed Replicated Systems
Ezhilchelvan, P.D., Mitrani, I. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1989

[Abstract]

CS-TR N^o 274 Constructing Replicated Systems using Processors with Point-to-Point Communication Links
Ezhilchelvan, P.D., Shrivastava, S.K. and Tully, A.
School of Computing Science, Newcastle University, 1988

[Abstract]

CS-TR N^o 263 A Formal Treatment of Interference in Remote Procedure Calls
Pappalardo, G. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1988

[Abstract]

CS-TR N^o 262 A Technical Overview of Arjuna: A System for Reliable Distributed Computing
Shrivastava, S.K., Dixon, G.N., Hedayati, F., Parrington, G.D. and Wheater, S.M.
School of Computing Science, Newcastle University, 1988

[Abstract]

CS-TR N^o 260 Towards a Theory of Replicated Processing
Parrington, G.D. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1988

[Abstract]

CS-TR N^o 259 Implementing Concurrency Control in Reliable Distributed Object Oriented Systems
Parrington, G.D. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1988

[Abstract]

CS-TR N^o 248 On the Duality of Fault Tolerant System Structures
Shrivastava, S.K., Mancini, L.V. and Randell, B.
School of Computing Science, Newcastle University, 1987

[Abstract]

CS-TR N^o 242 Objects and Actions in Reliable Distributed Systems
Shrivastava, S.K., Dixon, G.N. and Parrington, G.D.
School of Computing Science, Newcastle University, 1987

[Abstract]

CS-TR N^o 238 Failure Detection in Replicated Systems
Mancini, L.V. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1987

[Abstract]

CS-TR N^o 223 Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems
Dixon, G.N. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1986

[Abstract]

CS-TR N^o 222 Replicated Distributed Processing
Shrivastava, S.K.
School of Computing Science, Newcastle University, 1986

[Abstract]

CS-TR N^o 217 Exception Handling in Replicated Systems with Voting
Mancini, L.V. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1986

[Abstract]

CS-TR N^o 206 A Characterization of Faults in Systems
Ezhilchelvan, P.D. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1985

[Abstract]

CS-TR N^o 203 Workshop on Distributed Computing
Shrivastava, S.K.
School of Computing Science, Newcastle University, 1985

[Abstract]

CS-TR N^o 200 Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing
Panzieri, F. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1985

[Abstract]

CS-TR N^o 188 On the Treatment of Orphans in a Distributed System
Shrivastava, S.K.
School of Computing Science, Newcastle University, 1983

[Abstract]

CS-TR N^o 178 A Dependancy, Commitment and Recovery Model for Atomic Actions
Shrivastava, S.K.
School of Computing Science, Newcastle University, 1982

[Abstract]

CS-TR N^o 171 The Design of a Reliable Remote Procedure Call Mechanism
Shrivastava, S.K. and Panzieri, F.
School of Computing Science, Newcastle University, 1981

[Abstract]

CS-TR N^o 149 Structuring Distributed Systems for Recoverability and Crash Resistance
Shrivastava, S.K.
School of Computing Science, Newcastle University, 1980

[Abstract]

CS-TR N^o 127 Concurrent Pascal with Backward Error-recovery
Shrivastava, S.K.
School of Computing Science, Newcastle University, 1978

[Abstract]

CS-TR N^o 123 Sequential Pascal with Recovery Blocks
Shrivastava, S.K.
School of Computing Science, Newcastle University, 1978

[Abstract]

CS-TR N^o 122 Fault Tolerant Sequential Programming Using Recovery Blocks
Shrivastava, S.K. and Akinpelu, A.A.
School of Computing Science, Newcastle University, 1978

[Abstract]

CS-TR N^o 115 A Model of Recoverability in Multi-level Systems
Anderson, T., Lee, P.A. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1977

[Abstract]

CS-TR N^o 111 Reliable Software: A Selective Annotated Bibliography
Anderson, T. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1977

[Abstract]

CS-TR N^o 99 Reliable Resource Allocation between Unreliable Processes
Banatre, M. and Shrivastava, S.K.
School of Computing Science, Newcastle University, 1977

[Abstract]

A System for Distributed Enactment of Composite Web Services
Woodman, S.J., Palmer, D.J., Shrivastava, S.K., Wheater, S.M.
DIT-03-056, University of Trento, 12, 2003
Keywords : ADAPT, DECS, Service enactment, distributed workflow

[Abstract]

Safety Critical Distributed Systems: a State of Art Report
Shrivastava, S.K., Ezhilchelvan, P.D., Speirs, N. and Fitzgerald, J.S.
NATS, March, 2000

A Language for Specifying the Composition of Reliable Distributed Applications
Ranno, F., Shrivastava, S.K. and Wheater, S.M.
25, Esprit LTR Project No. 24962, Dept. of Computing Science, University of Newcastle upon Tyne, 2000

Fault-Tolerant Execution of Computationally and Storage Intensive Programs Over a Network of Workstations: A Case Study
Smith, J.A. and Shrivastava, S.K.
103, ESPRIT Basic Research Project 6360, July, 1995

The Design and Implementation of Arjuna
Parrington, G.D., Shrivastava, S.K., Wheater, S.M. and Little, M.C.
65, BROADCAST Project, October, 1994

Object Replication in Arjuna
Little, M.C. and Shrivastava, S.K.
50, BROADCAST Project, October, 1994

NewTop: A Fault-Tolerant Group Communication Protocol
Ezhilchelvan, P., Macedo, R. and Shrivastava, S.K.
BROADCAST Project, October, 1994

Architectural Support for Mobile Objects
Caughey, S.J. and Shrivastava, S.K.
Second Year Report - Systems Architecture, 3 of 4, BROADCAST ESPRIT Basic Research Project 6360,  , 1994

A View of Large Scale Distributed Computing
Panzieri, F. and Shrivastava, S.K.
Second Year Report - Surveys, 1 of 4, BROADCAST ESPRIT Basic Research Project 6360,  , 1994

Maintaining Information about Persistent Replicated Objects in a Distributed System
Little, M.C., McCue, D.L. and Shrivastava, S.K.
BROADCAST Project, October, 1993

Exercising Application-Specific Run-Time Control over Clustering of Objects
Wheater, S.M. and Shrivastava, S.K.
BROADCAST Project, October, 1993

NewTop: A Total Order Multicast Protocal Using Causal Blocks
Macedo, R.A., Ezhilchelvan, P.D. and Shrivastava, S.K.
BROADCAST Project, October, 1993

Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment
Shrivastava, S.K. and McCue, D.L.
First Year Report - Systems Engineering, 3 of 3, BROADCAST ESPRIT Basic Research Project 6360,  , 1993

Demonstration of Voltan Fail-Controlled Node
Speirs, N.A. and Shrivastava, S.K.
BG/92/40, Dependable Computing Systems Centre, October, 1992

Fail-Controlled Computer Architectures for Distributed Systems
Shrivastava, S.K., Ezhilchelvan, P.D. and Speirs, N.A.
BG/92/38, Dependable Computing Systems Centre, August, 1992

Understanding Component Failures and Replications in Distributed Systems
Shrivastava, S.K., Ezhilchelvan, P.D. and Little, M.C.
UNT/TR1, ISA, May, 1990

Fail-controlled processor architectures for distributed systems
Shrivastava, S.K., Ezhilchelvan, P.D. and Speirs, N.A.
DELTA-4 ESPRIT Project,  , 1990