Search the dblp DataBase
Santosh K. Shrivastava :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Santosh K. Shrivastava , Stuart M. Wheater Guest Editors' Introduction: Workflow-Management Systems. [Citation Graph (3, 0)][DBLP ] IEEE Concurrency, 1999, v:7, n:3, pp:16-17 [Journal ] Luigi V. Mancini , Santosh K. Shrivastava Fault-Tolerant Reference Counting for Garbage Collection in Distributed Systems. [Citation Graph (2, 0)][DBLP ] Comput. J., 1991, v:34, n:6, pp:503-513 [Journal ] Santosh K. Shrivastava , Jean-Pierre Banâtre Reliable Resource Allocation Between Unreliable Processes. [Citation Graph (2, 0)][DBLP ] IEEE Trans. Software Eng., 1978, v:4, n:3, pp:230-241 [Journal ] Graeme N. Dixon , Graham D. Parrington , Santosh K. Shrivastava , Stuart M. Wheater The Treatment of Persistent Objects in Arjuna. [Citation Graph (1, 0)][DBLP ] Comput. J., 1989, v:32, n:4, pp:323-332 [Journal ] Graham D. Parrington , Santosh K. Shrivastava , Stuart M. Wheater , Mark C. Little The Design and Implementation of Arjuna. [Citation Graph (1, 0)][DBLP ] Computing Systems, 1995, v:8, n:2, pp:255-308 [Journal ] Thomas Anderson , Peter A. Lee , Santosh K. Shrivastava A Model of Recoverability in Multilevel Systems. [Citation Graph (1, 0)][DBLP ] IEEE Trans. Software Eng., 1978, v:4, n:6, pp:486-494 [Journal ] Paul D. Ezhilchelvan , Santosh K. Shrivastava Enhancing Replica Management Services to Cope with Group Failures. [Citation Graph (0, 0)][DBLP ] Advances in Distributed Systems, 1999, pp:79-103 [Conf ] David B. Ingham , Fabio Panzieri , Santosh K. Shrivastava Constructing Dependable Web Services. [Citation Graph (0, 0)][DBLP ] Advances in Distributed Systems, 1999, pp:277-294 [Conf ] Mark C. Little , Santosh K. Shrivastava Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects. [Citation Graph (0, 0)][DBLP ] Advances in Distributed Systems, 1999, pp:238-253 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Advances in Distributed Systems, 1999, pp:453-471 [Conf ] Santosh K. Shrivastava Middleware for Supporting Inter-organizational Interactions. [Citation Graph (0, 0)][DBLP ] Future Directions in Distributed Computing, 2003, pp:202-206 [Conf ] Stuart M. Wheater , Santosh K. Shrivastava , Frédéric Ranno OPENflow: A CORBA Based Transactional Workflow System. [Citation Graph (0, 0)][DBLP ] Advances in Distributed Systems, 1999, pp:354-374 [Conf ] Mark C. Little , Santosh K. Shrivastava Java Transactions for the Internet. [Citation Graph (0, 0)][DBLP ] COOTS, 1998, pp:89-100 [Conf ] Santosh K. Shrivastava , Daniel L. McCue Operating System Support for Object-Oriented Distributed Systems. [Citation Graph (0, 0)][DBLP ] Operating Systems of the 90s and Beyond, 1991, pp:256-257 [Conf ] Santosh K. Shrivastava Lessons Learned from Building and Using the Arjuna Distributed Programming System. [Citation Graph (0, 0)][DBLP ] Dagstuhl Seminar on Distributed Systems, 1994, pp:17-32 [Conf ] Nick Cook , Santosh K. Shrivastava , Stuart M. Wheater Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises. [Citation Graph (0, 0)][DBLP ] DAIS, 2003, pp:125-132 [Conf ] Graham Morgan , Santosh K. Shrivastava , Paul D. Ezhilchelvan , Mark C. Little Design and implemantation of a CORBA fault-tolerant object group service. [Citation Graph (0, 0)][DBLP ] DAIS, 1999, pp:361-374 [Conf ] Frédéric Ranno , Santosh K. Shrivastava , Stuart M. Wheater A System for Specifying and Coordinating the Execution of Reliable Distributed Applications. [Citation Graph (0, 0)][DBLP ] DAIS, 1997, pp:- [Conf ] Paul D. Ezhilchelvan , Santosh K. Shrivastava Systematic Development of a Family of Fair Exchange Protocols. [Citation Graph (0, 0)][DBLP ] DBSec, 2003, pp:243-258 [Conf ] Santosh K. Shrivastava , Luigi V. Mancini , Brian Randell On the Duality of Fault Tolerant System Structures. [Citation Graph (0, 0)][DBLP ] Experiences with Distributed Systems, 1987, pp:19-37 [Conf ] Mark C. Little , Santosh K. Shrivastava , Stuart M. Wheater Theory and Practice of Building Reliable Distributed Applications. [Citation Graph (0, 0)][DBLP ] DOA, 2001, pp:353-354 [Conf ] Nick Cook , Paul Robinson , Santosh K. Shrivastava Component Middleware to Support Non-repudiable Service Interactions. [Citation Graph (0, 0)][DBLP ] DSN, 2004, pp:605-0 [Conf ] Nick Cook , Santosh K. Shrivastava , Stuart M. Wheater Distributed Object Middleware to Support Dependable Information Sharing between Organisations. [Citation Graph (0, 0)][DBLP ] DSN, 2002, pp:249-262 [Conf ] Graham Morgan , Santosh K. Shrivastava Implementing Flexible Object Group Invocation in Networked Systems. [Citation Graph (0, 0)][DBLP ] DSN, 2000, pp:439-448 [Conf ] Richard D. Schlichting , Andrew A. Chien , Carl Kesselman , Keith Marzullo , James S. Plank , Santosh K. Shrivastava Dependability and the Grid: Issues and Challenges. [Citation Graph (0, 0)][DBLP ] DSN, 2002, pp:263-266 [Conf ] Graeme N. Dixon , Graham D. Parrington , Santosh K. Shrivastava , Stuart M. Wheater The Treatment of Persistent Objects in Arjuna. [Citation Graph (0, 0)][DBLP ] ECOOP, 1989, pp:169-189 [Conf ] Graham D. Parrington , Santosh K. Shrivastava Implementing Concurrency Control in Reliable Object-Oriented Systems. [Citation Graph (0, 0)][DBLP ] ECOOP, 1988, pp:233-249 [Conf ] Carlos Molina-Jiménez , Santosh Shrivastava Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors. [Citation Graph (0, 0)][DBLP ] ECOWS, 2006, pp:148-160 [Conf ] Carlos Molina-Jiménez , Santosh Shrivastava , John P. Warne A Method for Specifying Contract Mediated Interactions. [Citation Graph (0, 0)][DBLP ] EDOC, 2005, pp:106-118 [Conf ] J. J. Halliday , Santosh K. Shrivastava , Stuart M. Wheater Flexible Workflow Management in the OPENflow System. [Citation Graph (0, 0)][DBLP ] EDOC, 2001, pp:82-92 [Conf ] Paul Robinson , Nick Cook , Santosh K. Shrivastava Implementing Fair Non-repudiable Interactions with Web Services. [Citation Graph (0, 0)][DBLP ] EDOC, 2005, pp:195-206 [Conf ] Santosh K. Shrivastava , Luc Bellissard , David Féliot , M. Herrmann , Noel De Palma , Stuart M. Wheater A Workflow and Agent Based Platform for Service Provisioning. [Citation Graph (0, 0)][DBLP ] EDOC, 2000, pp:38-47 [Conf ] Simon J. Woodman , Doug J. Palmer , Santosh K. Shrivastava , Stuart M. Wheater Notations for the Specification and Verification of Composite Web Services. [Citation Graph (0, 0)][DBLP ] EDOC, 2004, pp:35-46 [Conf ] Jim Smith , Santosh K. Shrivastava A System for Fault-Tolerance Execution of Data and Compute Intensive Programs over a Network of Workstations. [Citation Graph (0, 0)][DBLP ] Euro-Par, Vol. I, 1996, pp:487-495 [Conf ] Giuseppe Pappalardo , Santosh K. Shrivastava A Formal Treatment of Interference in Remote Procedure Calls. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1988, pp:209-227 [Conf ] Santosh K. Shrivastava Arjuna and Voltan: Case Studies in Building Fault Tolerant Distributed Systems Using Standard Components. [Citation Graph (0, 0)][DBLP ] Hardware and Software Architectures for Fault Tolerance, 1993, pp:218-226 [Conf ] Santosh K. Shrivastava Replicated Distributed Processing. [Citation Graph (0, 0)][DBLP ] Networking in Open Systems, 1986, pp:325-337 [Conf ] Paul D. Ezhilchelvan , Raimundo A. Macêdo , Santosh K. Shrivastava Newtop: A Fault-Tolerant Group Communication Protocol. [Citation Graph (0, 0)][DBLP ] ICDCS, 1995, pp:296-306 [Conf ] Mark C. Little , Daniel L. McCue , Santosh K. Shrivastava Maintaining Information about Persistent Replicated Objects in a Distributed System. [Citation Graph (0, 0)][DBLP ] ICDCS, 1993, pp:491-498 [Conf ] Frédéric Ranno , Santosh K. Shrivastava , Stuart M. Wheater A Language for Specifying the Composition of Reliable Distributed Applications. [Citation Graph (0, 0)][DBLP ] ICDCS, 1998, pp:534-543 [Conf ] Santosh K. Shrivastava , Stuart M. Wheater Implementing Fault-Tolerant Distributed Applications. [Citation Graph (0, 0)][DBLP ] ICDCS, 1990, pp:203-210 [Conf ] Santosh K. Shrivastava Reliable Remote Procedure Calls. [Citation Graph (0, 0)][DBLP ] Software-Fehlertoleranz und -Zuverlässigkeit, 1984, pp:99-104 [Conf ] J. A. Smith , Santosh K. Shrivastava Fault-Tolerant Parallel Applications Using Queues and Actions. [Citation Graph (0, 0)][DBLP ] ICPP, 1997, pp:145-149 [Conf ] Paul D. Ezhilchelvan , Santosh K. Shrivastava A Model and a Design Approach to Building QoS Adaptive Systems. [Citation Graph (0, 0)][DBLP ] WADS, 2003, pp:215-240 [Conf ] Ellis Solaiman , Carlos Molina-Jiménez , Santosh K. Shrivastava Model Checking Correctness Properties of Electronic Contracts. [Citation Graph (0, 0)][DBLP ] ICSOC, 2003, pp:303-318 [Conf ] Paul D. Ezhilchelvan , Santosh K. Shrivastava , Alan Tully Constructing Replicated Systems Using Processors with Point-to-Point Communication Links. [Citation Graph (0, 0)][DBLP ] ISCA, 1989, pp:177-184 [Conf ] Paul D. Ezhilchelvan , Santosh K. Shrivastava Enhancing Replica Management Services to Tolerate Group Failures. [Citation Graph (0, 0)][DBLP ] ISORC, 1999, pp:263-0 [Conf ] Paul D. Ezhilchelvan , Santosh K. Shrivastava , Mark C. Little A Model and Architecture for Conducting Hierarchically Structured Auctions. [Citation Graph (0, 0)][DBLP ] ISORC, 2001, pp:129-137 [Conf ] Steve J. Caughey , Mark C. Little , Santosh K. Shrivastava Checked Transactions in an Asynchronous Message Passing Environment. [Citation Graph (0, 0)][DBLP ] ISORC, 1998, pp:222-229 [Conf ] Iain Houston , Mark C. Little , Ian Robinson , Santosh K. Shrivastava , Stuart M. Wheater The CORBA Activity Service Framework for Supporting Extended Transactions. [Citation Graph (0, 0)][DBLP ] Middleware, 2001, pp:197-215 [Conf ] Achmad I. Kistijantoro , Graham Morgan , Santosh K. Shrivastava Transaction Manager Failover: A Case Study Using JBOSS Application Server. [Citation Graph (0, 0)][DBLP ] OTM Workshops (2), 2006, pp:1555-1564 [Conf ] Graeme N. Dixon , Santosh K. Shrivastava , Graham D. Parrington Managing Persistent Objects in Arjuna: A System for Reliable Distributed Computing. [Citation Graph (0, 0)][DBLP ] POS, 1987, pp:246-265 [Conf ] Mark C. Little , Santosh K. Shrivastava Understanding the Role of Atomic Transactions and Group Communications in Implementing Persistent Replicated Objects. [Citation Graph (0, 0)][DBLP ] POS/PJW, 1998, pp:17-28 [Conf ] Santosh K. Shrivastava , A. Waterworth Using Objects and Actions to Provide Fault Tolerance in Distributed, Real-Time Applications. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1991, pp:276-285 [Conf ] Daniel L. McCue , Santosh K. Shrivastava Structuring fault-tolerant object systems for portability. [Citation Graph (0, 0)][DBLP ] ACM SIGOPS European Workshop, 1990, pp:- [Conf ] Santosh K. Shrivastava , Stuart M. Wheater A transactional workflow based distributed application composition and execution environment. [Citation Graph (0, 0)][DBLP ] ACM SIGOPS European Workshop, 1998, pp:74-81 [Conf ] Graeme N. Dixon , Santosh K. Shrivastava Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems. [Citation Graph (0, 0)][DBLP ] SRDS, 1987, pp:107-114 [Conf ] Paul D. Ezhilchelvan , Santosh K. Shrivastava A Characterisation of Faults in Systems. [Citation Graph (0, 0)][DBLP ] Symposium on Reliability in Distributed Software and Database Systems, 1986, pp:215-222 [Conf ] Achmad I. Kistijantoro , Graham Morgan , Santosh K. Shrivastava , Mark C. Little Component Replication in Distributed Systems: A Case Study Using Enterprise Java Beans. [Citation Graph (0, 0)][DBLP ] SRDS, 2003, pp:89-98 [Conf ] Mark C. Little , Santosh K. Shrivastava A Method for Combining Replication with Caching. [Citation Graph (0, 0)][DBLP ] Symposium on Reliable Distributed Systems, 1999, pp:316-321 [Conf ] Fabio Panzieri , Santosh K. Shrivastava On the Provision of Replicated Internet Auction Services. [Citation Graph (0, 0)][DBLP ] Symposium on Reliable Distributed Systems, 1999, pp:390-395 [Conf ] Alan Tully , Santosh K. Shrivastava Preventing State Divergence in Replicated Distributed Programs. [Citation Graph (0, 0)][DBLP ] SRDS, 1990, pp:104-113 [Conf ] Santosh K. Shrivastava On the Treatment of Orphans in a Distributed System. [Citation Graph (0, 0)][DBLP ] Symposium on Reliability in Distributed Software and Database Systems, 1983, pp:155-162 [Conf ] Santosh Shrivastava Satem: Trusted Service Code Execution across Transactions. [Citation Graph (0, 0)][DBLP ] SRDS, 2006, pp:337-338 [Conf ] Santosh K. Shrivastava Inter-task Co-ordination in Long-Lived Distributed Applications. [Citation Graph (0, 0)][DBLP ] DISC, 1998, pp:20-21 [Conf ] Carlos Molina-Jiménez , Santosh K. Shrivastava , Ellis Solaiman , John P. Warne Contract Representation for Run-time Monitoring and Enforcement. [Citation Graph (0, 0)][DBLP ] CEC, 2003, pp:103-110 [Conf ] Carlos Molina-Jiménez , Santosh Shrivastava , Simon Woodman On State Synchronization of Business Conversations. [Citation Graph (0, 0)][DBLP ] CEC/EEE, 2006, pp:42- [Conf ] Mark C. Little , Santosh K. Shrivastava An Examination of the Transition of the Arjuna Distributed Transaction Processing Software from Research to Products. [Citation Graph (0, 0)][DBLP ] WIESS, 2002, pp:41-54 [Conf ] Mark C. Little , Santosh K. Shrivastava Replicated K-Resilient Objects in Arjuna. [Citation Graph (0, 0)][DBLP ] Workshop on the Management of Replicated Data, 1990, pp:53-58 [Conf ] Mark C. Little , Santosh K. Shrivastava , Neil A. Speirs Using Bloom Filters to Speed-up Name Lookup in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Comput. J., 2002, v:45, n:6, pp:645-652 [Journal ] Santosh K. Shrivastava A View of Concurrent Process Synchronisation. [Citation Graph (0, 0)][DBLP ] Comput. J., 1975, v:18, n:4, pp:375-379 [Journal ] Mark C. Little , Santosh K. Shrivastava , Steve J. Caughey , David B. Ingham Constructing Reliable Web Applications Using Atomic Actions. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1997, v:29, n:8-13, pp:1281-1290 [Journal ] Mark C. Little , Santosh K. Shrivastava Java transactions for the Internet. [Citation Graph (0, 0)][DBLP ] Distributed Systems Engineering, 1998, v:5, n:4, pp:156-167 [Journal ] Dave Black , C. Low , Santosh K. Shrivastava The Voltan application programming environment for fail-silent processes. [Citation Graph (0, 0)][DBLP ] Distributed Systems Engineering, 1998, v:5, n:2, pp:66-77 [Journal ] Paul D. Ezhilchelvan , Santosh K. Shrivastava el/REL: a family of reliable multicast protocols for distributed systems. [Citation Graph (0, 0)][DBLP ] Distributed Systems Engineering, 1994, v:1, n:6, pp:323-331 [Journal ] Sha Tao , Paul D. Ezhilchelvan , Santosh K. Shrivastava Focused fault injection testing of software implemented fault tolerance mechanisms of Voltan TMR nodes. [Citation Graph (0, 0)][DBLP ] Distributed Systems Engineering, 1995, v:2, n:1, pp:39-49 [Journal ] Santosh K. Shrivastava Contract-Mediated Interorganizational Interactions. [Citation Graph (0, 0)][DBLP ] IEEE Distributed Systems Online, 2005, v:6, n:11, pp:- [Journal ] Carlos Molina-Jiménez , Santosh K. Shrivastava , Ellis Solaiman , John P. Warne Run-time monitoring and enforcement of electronic contracts. [Citation Graph (0, 0)][DBLP ] Electronic Commerce Research and Applications, 2004, v:3, n:2, pp:108-125 [Journal ] Santosh K. Shrivastava , Stuart M. Wheater Architectural support for dynamic reconfiguration of distributed workflow applications. [Citation Graph (0, 0)][DBLP ] IEE Proceedings - Software, 1998, v:145, n:5, pp:155-162 [Journal ] David B. Ingham , Santosh K. Shrivastava , Fabio Panzieri Constructing Dependable Web Services. [Citation Graph (0, 0)][DBLP ] IEEE Internet Computing, 2000, v:4, n:1, pp:25-33 [Journal ] Daniel L. McCue , Santosh K. Shrivastava Structuring Fault-Tolerant Object Systems for Portability. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 1991, v:25, n:2, pp:118-121 [Journal ] Santosh K. Shrivastava To CATOCS or not to CATOCS, that is the ... [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 1994, v:28, n:4, pp:11-14 [Journal ] Santosh K. Shrivastava , Graeme N. Dixon , Graham D. Parrington An Overview of the Arjuna Distributed Programming System. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1991, v:8, n:1, pp:66-73 [Journal ] Thomas Anderson , Santosh K. Shrivastava Reliable Software: A Selective Annotated Bibliography. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1978, v:8, n:1, pp:59-76 [Journal ] Iain Houston , Mark C. Little , Ian Robinson , Santosh K. Shrivastava , Stuart M. Wheater The CORBA Activity Service Framework for supporting extended transactions. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 2003, v:33, n:4, pp:351-373 [Journal ] Santosh K. Shrivastava Systematic Programming of Scheduling Algorithms. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1976, v:6, n:3, pp:357-370 [Journal ] Santosh K. Shrivastava Sequential Pascal with Recovery Blocks. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1978, v:8, n:2, pp:177-185 [Journal ] Santosh K. Shrivastava Concurrent Pascal with Backward Error Recovery: Language Features and Examples. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1979, v:9, n:12, pp:1001-1020 [Journal ] Santosh K. Shrivastava Concurrent Pascal with Backward Error Recovery: Implementation. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1979, v:9, n:12, pp:1021-1033 [Journal ] Santosh K. Shrivastava , Luigi V. Mancini , Brian Randell The Duality of Fault-tolerant System Structures. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1993, v:23, n:7, pp:773-798 [Journal ] Francisco V. Brasileiro , Paul D. Ezhilchelvan , Santosh K. Shrivastava , Neil A. Speirs , Sha Tao Implementing Fail-Silent Nodes for Distributed Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1996, v:45, n:11, pp:1226-1238 [Journal ] Santosh K. Shrivastava , Fabio Panzieri The Design of a Reliable Remote Procedure Call Mechanism. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1982, v:31, n:7, pp:692-697 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1992, v:41, n:5, pp:542-549 [Journal ] J. A. Smith , Santosh K. Shrivastava Performance of Fault-Tolerant Data and Compute Intensive Programs over a Network of Workstations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1998, v:196, n:1-2, pp:319-345 [Journal ] Paul D. Ezhilchelvan , Santosh K. Shrivastava A Family of Trusted Third Party Based Fair-Exchange Protocols. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Dependable Sec. Comput., 2005, v:2, n:4, pp:273-286 [Journal ] Paul D. Ezhilchelvan , Isi Mitrani , Santosh K. Shrivastava A Performance Evaluation Study of Pipeline TMR Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1990, v:1, n:4, pp:442-456 [Journal ] Santosh K. Shrivastava , Daniel L. McCue Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1994, v:5, n:4, pp:421-432 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1981, v:7, n:6, pp:608-610 [Journal ] Fabio Panzieri , Santosh K. Shrivastava Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:1, pp:30-37 [Journal ] Santosh K. Shrivastava Structuring Distributed Systems for Recoverability and Crash Resistance. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1981, v:7, n:4, pp:436-447 [Journal ] Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. [Citation Graph (, )][DBLP ] Implementing a Rule-Based Contract Compliance Checker. [Citation Graph (, )][DBLP ] The Rigorous Implementation of a Fair Exchange Protocol for Non-repudiable Web Service Interactions - a case study. [Citation Graph (, )][DBLP ] On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption. [Citation Graph (, )][DBLP ] Proactive Fortification of Fault-Tolerant Services. [Citation Graph (, )][DBLP ] A Rule-Based Notation to Specify Executable Electronic Contracts. [Citation Graph (, )][DBLP ] Exception Handling in Electronic Contracting. [Citation Graph (, )][DBLP ] Search in 0.072secs, Finished in 0.080secs