default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSantosh K. Shrivastava
Santosh Kumar Shrivastava
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j46]Mark C. Little, Santosh K. Shrivastava
:
The evolution of the Arjuna transaction processing system. Softw. Pract. Exp. 52(4): 1035-1064 (2022)
2010 – 2019
- 2015
- [c87]Santosh K. Shrivastava, Mark C. Little:
Designing Atomic Business Functions with Distributed Control. CBI (1) 2015: 51-59 - 2013
- [j45]Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava:
Consumer-centric resource accounting in the cloud. J. Internet Serv. Appl. 4(1): 8:1-8:16 (2013) - [c86]Carlos Molina-Jiménez, Santosh K. Shrivastava:
Establishing Conformance between Contracts and Choreographies. CBI 2013: 69-78 - 2012
- [j44]Mark C. Little, Santosh K. Shrivastava, Stuart M. Wheater:
Another look at the middleware for dependable distributed computing. J. Internet Serv. Appl. 3(1): 95-105 (2012) - [j43]Carlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano:
A Model for Checking Contractual Compliance of Business Interactions. IEEE Trans. Serv. Comput. 5(2): 276-289 (2012) - [c85]Fahren Bukhari, Santosh K. Shrivastava:
An Efficient Distributed Concurrency Control Scheme for Transactional Systems with Client-Side Caching. HPCC-ICESS 2012: 1074-1081 - 2011
- [c84]Mark C. Little, Santosh K. Shrivastava:
The Evolution of the Arjuna Transaction Processing System. Dependable and Historic Computing 2011: 323-343 - [c83]Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava:
Consumer Side Resource Accounting in the Cloud. I3E 2011: 58-72 - [c82]Carlos Molina-Jiménez, Santosh K. Shrivastava, Stuart M. Wheater:
An architecture for negotiation and enforcement of resource usage policies. SOCA 2011: 1-8 - [c81]Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava:
A high-level model-checking tool for verifying service agreements. SOSE 2011: 297-304 - 2010
- [j42]Paul D. Ezhilchelvan, Santosh K. Shrivastava:
Learning from the past for resolving dilemmas of asynchrony. ACM SIGOPS Oper. Syst. Rev. 44(2): 58-63 (2010) - [c80]Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava:
A Case for Consumer - centric Resource Accounting Models. IEEE CLOUD 2010: 506-512 - [c79]Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava:
On Model Checker Based Testing of Electronic Contracting Systems. CEC 2010: 88-95
2000 – 2009
- 2009
- [c78]Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava:
Implementing a Rule-Based Contract Compliance Checker. I3E 2009: 96-111 - [c77]Paul D. Ezhilchelvan, Dylan Clarke, Isi Mitrani, Santosh K. Shrivastava:
Proactive Fortification of Fault-Tolerant Services. OPODIS 2009: 330-344 - [c76]Santosh K. Shrivastava:
Third Party Services for Enabling Business-to-Business Interactions. OTM Conferences (1) 2009: 2-3 - [c75]Carlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano:
Exception Handling in Electronic Contracting. CEC 2009: 65-73 - 2008
- [j41]Achmad I. Kistijantoro, Graham Morgan, Santosh K. Shrivastava, Mark C. Little:
Enhancing an Application Server to Support Available Components. IEEE Trans. Software Eng. 34(4): 531-545 (2008) - [c74]Carlos Molina-Jiménez, Nick Cook, Santosh K. Shrivastava:
On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption. ICSOC Workshops 2008: 270-283 - [c73]Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava:
A Rule-Based Notation to Specify Executable Electronic Contracts. RuleML 2008: 81-88 - 2007
- [c72]Carlos Molina-Jiménez, Santosh K. Shrivastava, Nick Cook:
Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. EDOC 2007: 51-62 - [c71]Nick Cook, Paul Robinson, Santosh K. Shrivastava:
The Rigorous Implementation of a Fair Exchange Protocol for Non-repudiable Web Service Interactions - a case study. ICDE Workshops 2007: 307-314 - 2006
- [j40]Nick Cook, Paul Robinson, Santosh K. Shrivastava:
Design and Implementation of Web Services Middleware to Support Fair Non-Repudiable Interactions. Int. J. Cooperative Inf. Syst. 15(4): 565-597 (2006) - [c70]Carlos Molina-Jiménez, Santosh K. Shrivastava:
Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors. ECOWS 2006: 148-160 - [c69]Achmad I. Kistijantoro, Graham Morgan, Santosh K. Shrivastava:
Transaction Manager Failover: A Case Study Using JBOSS Application Server. OTM Workshops (2) 2006: 1555-1564 - [c68]Santosh K. Shrivastava:
Satem: Trusted Service Code Execution across Transactions. SRDS 2006: 337-338 - [c67]Carlos Molina-Jiménez, Santosh K. Shrivastava, Simon J. Woodman:
On State Synchronization of Business Conversations. CEC/EEE 2006: 42 - 2005
- [j39]Santosh K. Shrivastava:
Contract-Mediated Interorganizational Interactions. IEEE Distributed Syst. Online 6(11) (2005) - [j38]Paul D. Ezhilchelvan, Santosh K. Shrivastava:
A Family of Trusted Third Party Based Fair-Exchange Protocols. IEEE Trans. Dependable Secur. Comput. 2(4): 273-286 (2005) - [c66]Carlos Molina-Jiménez, Santosh K. Shrivastava, John P. Warne:
A Method for Specifying Contract Mediated Interactions. EDOC 2005: 106-118 - [c65]Paul Robinson, Nick Cook, Santosh K. Shrivastava:
Implementing Fair Non-repudiable Interactions with Web Services. EDOC 2005: 195-206 - 2004
- [j37]Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne:
Run-time monitoring and enforcement of electronic contracts. Electron. Commer. Res. Appl. 3(2): 108-125 (2004) - [c64]Nick Cook, Paul Robinson, Santosh K. Shrivastava:
Component Middleware to Support Non-repudiable Service Interactions. DSN 2004: 605- - [c63]Simon J. Woodman, Doug J. Palmer, Santosh K. Shrivastava, Stuart M. Wheater:
Notations for the Specification and Verification of Composite Web Services. EDOC 2004: 35-46 - 2003
- [j36]Iain Houston, Mark C. Little, Ian Robinson, Santosh K. Shrivastava, Stuart M. Wheater:
The CORBA Activity Service Framework for supporting extended transactions. Softw. Pract. Exp. 33(4): 351-373 (2003) - [c62]Santosh K. Shrivastava:
Middleware for Supporting Inter-organizational Interactions. Future Directions in Distributed Computing 2003: 202-206 - [c61]Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater:
Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises. DAIS 2003: 125-132 - [c60]Paul D. Ezhilchelvan, Santosh K. Shrivastava:
Systematic Development of a Family of Fair Exchange Protocols. DBSec 2003: 243-258 - [c59]Paul D. Ezhilchelvan, Santosh K. Shrivastava:
A Model and a Design Approach to Building QoS Adaptive Systems. WADS 2003: 215-240 - [c58]Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava:
Model Checking Correctness Properties of Electronic Contracts. ICSOC 2003: 303-318 - [c57]Achmad I. Kistijantoro, Graham Morgan, Santosh K. Shrivastava, Mark C. Little:
Component Replication in Distributed Systems: A Case Study Using Enterprise Java Beans. SRDS 2003: 89-98 - [c56]Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne:
Contract Representation for Run-time Monitoring and Enforcement. CEC 2003: 103-110 - 2002
- [j35]Mark C. Little, Santosh K. Shrivastava, Neil A. Speirs:
Using Bloom Filters to Speed-up Name Lookup in Distributed Systems. Comput. J. 45(6): 645-652 (2002) - [c55]Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater:
Distributed Object Middleware to Support Dependable Information Sharing between Organisations. DSN 2002: 249-262 - [c54]Richard D. Schlichting, Andrew A. Chien, Carl Kesselman, Keith Marzullo, James S. Plank, Santosh K. Shrivastava:
Dependability and the Grid: Issues and Challenges. DSN 2002: 263-266 - [c53]Mark C. Little, Santosh K. Shrivastava:
An Examination of the Transition of the Arjuna Distributed Transaction Processing Software from Research to Products. WIESS 2002: 41-54 - 2001
- [c52]Mark C. Little, Santosh K. Shrivastava, Stuart M. Wheater:
Theory and Practice of Building Reliable Distributed Applications. DOA 2001: 353-354 - [c51]J. J. Halliday, Santosh K. Shrivastava, Stuart M. Wheater:
Flexible Workflow Management in the OPENflow System. EDOC 2001: 82-92 - [c50]Paul D. Ezhilchelvan, Santosh K. Shrivastava, Mark C. Little:
A Model and Architecture for Conducting Hierarchically Structured Auctions. ISORC 2001: 129-137 - [c49]Iain Houston, Mark C. Little, Ian Robinson, Santosh K. Shrivastava, Stuart M. Wheater:
The CORBA Activity Service Framework for Supporting Extended Transactions. Middleware 2001: 197-215 - 2000
- [j34]David B. Ingham, Santosh K. Shrivastava, Fabio Panzieri:
Constructing Dependable Web Services. IEEE Internet Comput. 4(1): 25-33 (2000) - [c48]Graham Morgan, Santosh K. Shrivastava:
Implementing Flexible Object Group Invocation in Networked Systems. DSN 2000: 439-448 - [c47]Santosh K. Shrivastava, Luc Bellissard, David Féliot, Marc Herrmann, Noel De Palma, Stuart M. Wheater:
A Workflow and Agent Based Platform for Service Provisioning. EDOC 2000: 38-47
1990 – 1999
- 1999
- [j33]Santosh K. Shrivastava, Stuart M. Wheater:
Guest Editors' Introduction: Workflow-Management Systems. IEEE Concurr. 7(3): 16-17 (1999) - [c46]Paul D. Ezhilchelvan, Santosh K. Shrivastava:
Enhancing Replica Management Services to Cope with Group Failures. Advances in Distributed Systems 1999: 79-103 - [c45]Mark C. Little, Santosh K. Shrivastava:
Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects. Advances in Distributed Systems 1999: 238-253 - [c44]David B. Ingham, Fabio Panzieri, Santosh K. Shrivastava:
Constructing Dependable Web Services. Advances in Distributed Systems 1999: 277-294 - [c43]Stuart M. Wheater, Santosh K. Shrivastava, Frédéric Ranno:
OPENflow: A CORBA Based Transactional Workflow System. Advances in Distributed Systems 1999: 354-374 - [c42]Mark C. Little, Stuart M. Wheater, David B. Ingham, C. Richard Snow, Harry Whitfield, Santosh K. Shrivastava:
The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General Purpose Components. Advances in Distributed Systems 1999: 453-471 - [c41]Graham Morgan, Santosh K. Shrivastava, Paul D. Ezhilchelvan, Mark C. Little:
Design and implemantation of a CORBA fault-tolerant object group service. DAIS 1999: 361-374 - [c40]J. J. Halliday, Santosh K. Shrivastava, Stuart M. Wheater:
Implementing support for work activity coordination within a distributed workflow system. EDOC 1999: 116-123 - [c39]Paul D. Ezhilchelvan, Santosh K. Shrivastava:
Enhancing Replica Management Services to Tolerate Group Failures. ISORC 1999: 263- - [c38]Mark C. Little, Santosh K. Shrivastava:
A Method for Combining Replication with Caching. SRDS 1999: 316-321 - [c37]Fabio Panzieri, Santosh K. Shrivastava:
On the Provision of Replicated Internet Auction Services. SRDS 1999: 390-395 - [e1]Sacha Krakowiak, Santosh K. Shrivastava:
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems. Lecture Notes in Computer Science 1752, Springer 1999, ISBN 3-540-67196-X [contents] - 1998
- [j32]Dave Black, C. Low, Santosh K. Shrivastava:
The Voltan application programming environment for fail-silent processes. Distributed Syst. Eng. 5(2): 66-77 (1998) - [j31]Mark C. Little, Santosh K. Shrivastava:
Java transactions for the Internet. Distributed Syst. Eng. 5(4): 156-167 (1998) - [j30]Santosh K. Shrivastava, Stuart M. Wheater:
Architectural support for dynamic reconfiguration of distributed workflow applications. IEE Proc. Softw. 145(5): 155-162 (1998) - [j29]J. A. Smith, Santosh K. Shrivastava:
Performance of Fault-Tolerant Data and Compute Intensive Programs over a Network of Workstations. Theor. Comput. Sci. 196(1-2): 319-345 (1998) - [c36]Santosh K. Shrivastava, Stuart M. Wheater:
Architectural support for dynamic reconfiguration of large scale distributed applications. CDS 1998: 10-17 - [c35]Mark C. Little, Santosh K. Shrivastava:
Java Transactions for the Internet. COOTS 1998: 89-100 - [c34]Mark C. Little, Santosh K. Shrivastava:
Integrating the Object Transaction Service with the Web. EDOC 1998: 194-205 - [c33]Frédéric Ranno, Santosh K. Shrivastava, Stuart M. Wheater:
A Language for Specifying the Composition of Reliable Distributed Applications. ICDCS 1998: 534-543 - [c32]Steve J. Caughey, Mark C. Little, Santosh K. Shrivastava:
Checked Transactions in an Asynchronous Message Passing Environment. ISORC 1998: 222-229 - [c31]Mark C. Little, Santosh K. Shrivastava:
Understanding the Role of Atomic Transactions and Group Communications in Implementing Persistent Replicated Objects. POS/PJW 1998: 17-28 - [c30]Santosh K. Shrivastava, Stuart M. Wheater:
A transactional workflow based distributed application composition and execution environment. ACM SIGOPS European Workshop 1998: 74-81 - [c29]Santosh K. Shrivastava:
Inter-task Co-ordination in Long-Lived Distributed Applications. DISC 1998: 20-21 - 1997
- [j28]Mark C. Little, Santosh K. Shrivastava, Steve J. Caughey, David B. Ingham:
Constructing Reliable Web Applications Using Atomic Actions. Comput. Networks 29(8-13): 1281-1290 (1997) - [c28]Frédéric Ranno, Santosh K. Shrivastava, Stuart M. Wheater:
A System for Specifying and Coordinating the Execution of Reliable Distributed Applications. DAIS 1997 - [c27]J. A. Smith, Santosh K. Shrivastava:
Fault-Tolerant Parallel Applications Using Queues and Actions. ICPP 1997: 145-149 - 1996
- [j27]Francisco V. Brasileiro, Paul D. Ezhilchelvan, Santosh K. Shrivastava, Neil A. Speirs, Sha Tao:
Implementing Fail-Silent Nodes for Distributed Systems. IEEE Trans. Computers 45(11): 1226-1238 (1996) - [c26]Mark C. Little, Santosh K. Shrivastava:
Using application specific knowledge for configuring object replicas. CDS 1996: 169-176 - [c25]Jim Smith, Santosh K. Shrivastava:
A System for Fault-Tolerance Execution of Data and Compute Intensive Programs over a Network of Workstations. Euro-Par, Vol. I 1996: 487-495 - 1995
- [j26]Graham D. Parrington, Santosh K. Shrivastava, Stuart M. Wheater, Mark C. Little:
The Design and Implementation of Arjuna. Comput. Syst. 8(2): 255-308 (1995) - [j25]Sha Tao, Paul D. Ezhilchelvan, Santosh K. Shrivastava:
Focused fault injection testing of software implemented fault tolerance mechanisms of Voltan TMR nodes. Distributed Syst. Eng. 2(1): 39-49 (1995) - [c24]Paul D. Ezhilchelvan, Raimundo A. Macêdo, Santosh K. Shrivastava:
Newtop: A Fault-Tolerant Group Communication Protocol. ICDCS 1995: 296-306 - [c23]David B. Ingham, Mark C. Little, Steve J. Caughey, Santosh K. Shrivastava:
W3Objects: Bringing Object-Oriented Technology to the Web. WWW (Fall) 1995: 89-105 - 1994
- [j24]Paul D. Ezhilchelvan, Santosh K. Shrivastava:
el/REL: a family of reliable multicast protocols for distributed systems. Distributed Syst. Eng. 1(6): 323-331 (1994) - [j23]Santosh K. Shrivastava:
To CATOCS or not to CATOCS, that is the ... ACM SIGOPS Oper. Syst. Rev. 28(4): 11-14 (1994) - [j22]Santosh K. Shrivastava, Daniel L. McCue:
Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment. IEEE Trans. Parallel Distributed Syst. 5(4): 421-432 (1994) - [c22]Stuart M. Wheater, Santosh K. Shrivastava:
Exercising application specific run-time control over clustering of objects. CDS 1994: 72-81 - [c21]Santosh K. Shrivastava:
Lessons Learned from Building and Using the Arjuna Distributed Programming System. Dagstuhl Seminar on Distributed Systems 1994: 17-32 - 1993
- [j21]Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell:
The Duality of Fault-tolerant System Structures. Softw. Pract. Exp. 23(7): 773-798 (1993) - [c20]Santosh K. Shrivastava:
Arjuna and Voltan: Case Studies in Building Fault Tolerant Distributed Systems Using Standard Components. Hardware and Software Architectures for Fault Tolerance 1993: 218-226 - [c19]Mark C. Little, Daniel L. McCue, Santosh K. Shrivastava:
Maintaining Information about Persistent Replicated Objects in a Distributed System. ICDCS 1993: 491-498 - 1992
- [j20]Santosh K. Shrivastava, Paul D. Ezhilchelvan, Neil A. Speirs, Sha Tao, Alan Tully:
Principal Features of the VOLTAN Family of Reliable Node Architectures for Distributed Systems. IEEE Trans. Computers 41(5): 542-549 (1992) - 1991
- [j19]Luigi V. Mancini, Santosh K. Shrivastava:
Fault-Tolerant Reference Counting for Garbage Collection in Distributed Systems. Comput. J. 34(6): 503-513 (1991) - [j18]Daniel L. McCue, Santosh K. Shrivastava:
Structuring Fault-Tolerant Object Systems for Portability. ACM SIGOPS Oper. Syst. Rev. 25(2): 118-121 (1991) - [j17]Santosh K. Shrivastava, Graeme N. Dixon, Graham D. Parrington:
An Overview of the Arjuna Distributed Programming System. IEEE Softw. 8(1): 66-73 (1991) - [c18]Santosh K. Shrivastava, Daniel L. McCue:
Operating System Support for Object-Oriented Distributed Systems. Operating Systems of the 90s and Beyond 1991: 256-257 - [c17]Santosh K. Shrivastava, Adrian Waterworth:
Using Objects and Actions to Provide Fault Tolerance in Distributed, Real-Time Applications. RTSS 1991: 276-285 - 1990
- [j16]Paul D. Ezhilchelvan, Isi Mitrani, Santosh K. Shrivastava:
A Performance Evaluation Study of Pipeline TMR Systems. IEEE Trans. Parallel Distributed Syst. 1(4): 442-456 (1990) - [c16]Santosh K. Shrivastava, Stuart M. Wheater:
Implementing Fault-Tolerant Distributed Applications. ICDCS 1990: 203-210 - [c15]Daniel L. McCue, Santosh K. Shrivastava:
Structuring fault-tolerant object systems for portability. ACM SIGOPS European Workshop 1990 - [c14]Alan Tully, Santosh K. Shrivastava:
Preventing State Divergence in Replicated Distributed Programs. SRDS 1990: 104-113 - [c13]Mark C. Little, Santosh K. Shrivastava:
Replicated K-Resilient Objects in Arjuna. Workshop on the Management of Replicated Data 1990: 53-58
1980 – 1989
- 1989
- [j15]Graeme N. Dixon, Graham D. Parrington, Santosh K. Shrivastava, Stuart M. Wheater:
The Treatment of Persistent Objects in Arjuna. Comput. J. 32(4): 323-332 (1989) - [c12]Graeme N. Dixon, Graham D. Parrington, Santosh K. Shrivastava, Stuart M. Wheater:
The Treatment of Persistent Objects in Arjuna. ECOOP 1989: 169-189 - [c11]Luigi Vincenzo Mancini, Santosh K. Shrivastava:
Replication within atomic actions and conversations: a case study in fault-tolerance duality. FTCS 1989: 454-461 - [c10]Paul D. Ezhilchelvan, Santosh K. Shrivastava, Alan Tully:
Constructing Replicated Systems Using Processors with Point-to-Point Communication Links. ISCA 1989: 177-184 - 1988
- [j14]Fabio Panzieri, Santosh K. Shrivastava:
Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing. IEEE Trans. Software Eng. 14(1): 30-37 (1988) - [c9]Graham D. Parrington, Santosh K. Shrivastava:
Implementing Concurrency Control in Reliable Object-Oriented Systems. ECOOP 1988: 233-249 - [c8]Giuseppe Pappalardo, Santosh K. Shrivastava:
A Formal Treatment of Interference in Remote Procedure Calls. FTRTFT 1988: 209-227 - 1987
- [j13]Santosh K. Shrivastava, Graeme N. Dixon, Graham D. Parrington:
Objects and actions in reliable distributed systems. Softw. Eng. J. 2(5): 160-168 (1987) - [c7]Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell:
On the Duality of Fault Tolerant System Structures. Experiences with Distributed Systems 1987: 19-37 - [c6]Graeme N. Dixon, Santosh K. Shrivastava, Graham D. Parrington:
Managing Persistent Objects in Arjuna: A System for Reliable Distributed Computing. POS 1987: 246-265 - [c5]Graeme N. Dixon, Santosh K. Shrivastava:
Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems. SRDS 1987: 107-114 - 1986
- [c4]Santosh K. Shrivastava:
Replicated Distributed Processing. Networking in Open Systems 1986: 325-337 - [c3]Paul D. Ezhilchelvan, Santosh K. Shrivastava:
A Characterisation of Faults in Systems. Symposium on Reliability in Distributed Software and Database Systems 1986: 215-222 - 1984
- [c2]Santosh K. Shrivastava:
Reliable Remote Procedure Calls. Software-Fehlertoleranz und -Zuverlässigkeit 1984: 99-104 - 1983
- [c1]Santosh K. Shrivastava:
On the Treatment of Orphans in a Distributed System. Symposium on Reliability in Distributed Software and Database Systems 1983: 155-162 - 1982
- [j12]Santosh K. Shrivastava, Fabio Panzieri:
The Design of a Reliable Remote Procedure Call Mechanism. IEEE Trans. Computers 31(7): 692-697 (1982) - 1981
- [j11]Santosh K. Shrivastava:
Structuring Distributed Systems for Recoverability and Crash Resistance. IEEE Trans. Software Eng. 7(4): 436-447 (1981) - [j10]Peter A. Lee, J. L. Lloyd, Santosh K. Shrivastava:
Some Critical Comments on the Paper "An Optimal Approach to Fault Tolerant Software Systems Design" by Gannon and Shapiro. IEEE Trans. Software Eng. 7(6): 608-610 (1981)
1970 – 1979
- 1979
- [j9]Santosh K. Shrivastava:
Concurrent Pascal with Backward Error Recovery: Language Features and Examples. Softw. Pract. Exp. 9(12): 1001-1020 (1979) - [j8]Santosh K. Shrivastava:
Concurrent Pascal with Backward Error Recovery: Implementation. Softw. Pract. Exp. 9(12): 1021-1033 (1979) - 1978
- [j7]Thomas Anderson, Santosh K. Shrivastava:
Reliable Software: A Selective Annotated Bibliography. Softw. Pract. Exp. 8(1): 59-76 (1978) - [j6]Santosh K. Shrivastava:
Sequential Pascal with Recovery Blocks. Softw. Pract. Exp. 8(2): 177-185 (1978) - [j5]Santosh K. Shrivastava, Jean-Pierre Banâtre:
Reliable Resource Allocation Between Unreliable Processes. IEEE Trans. Software Eng. 4(3): 230-241 (1978) - [j4]Thomas Anderson, Peter A. Lee, Santosh K. Shrivastava:
A Model of Recoverability in Multilevel Systems. IEEE Trans. Software Eng. 4(6): 486-494 (1978) - 1976
- [j3]Santosh K. Shrivastava:
Systematic Programming of Scheduling Algorithms. Softw. Pract. Exp. 6(3): 357-370 (1976) - 1975
- [j2]Santosh K. Shrivastava:
A View of Concurrent Process Synchronisation. Comput. J. 18(4): 375-379 (1975) - [j1]Santosh K. Shrivastava:
Process synchronization in high-level languages. Int. J. Parallel Program. 4(2): 151-169 (1975) - 1974
- [b1]Santosh Kumar Shrivastava:
Synchronisation of concurrent processes. University of Cambridge, UK, 1974
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-26 19:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
