Santosh Shrivastava

简介

Emeritus Professor of Computing Science at Newcastle University. Research interests include computer networking, middleware, and fault-tolerant distributed computing, focusing on developing concepts and tools for constructing distributed fault-tolerant systems using commodity components. Known for the Arjuna distributed object transaction system, which became part of the JBoss application server middleware.

教育经历

• Ph.D. Computer Science, University of Cambridge, 1975

代表成果

• Designing Atomic Business Functions
• Designing Atomic Business Functions with Distributed Control
• An Architecture for Negotiation and Enforcement of Resource Usage Policies
• Consumer-centric resource accounting in the cloud
• Establishing Conformance Between Contracts and Choreographies
• A Model for Checking Contractual Compliance of Business Interactions
• Another look at the middleware for dependable distributed computing
• A High–Level Model–Checking Tool for Verifying Electronic Contracts
• The Evolution of the Arjuna Transaction Processing System
• Learning from the Past for Resolving Dilemmas of Asynchrony