Menu

S. K. Shrivastava

8 published titles

Determining the last membership of a process group after a total failure

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 1997
  • Details

Java transactions for the internet

(Contributor)

2 editions

  • University of Newcastle upon Tyne, Computing Science
  • 1999
  • Details
  • University of Newcastle upon Tyne, Computing Science
  • 1999
  • Details

Advances in distributed systems : advanced distributed computing : from algorithms to systems

(Contributor)

1 edition

  • ISBN: 354067196X
  • Springer
  • 2000
  • Details

A case for consumer-centric resource accounting models

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2010
  • Details

Consumer side resource accounting in the cloud

(Contributor)

1 edition

  • Newcastle University
  • 2011
  • Details

A high-level model-checking tool for verifying electronic contracts

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

A model for checking contractual compliance of business interactions

(Contributor)

1 edition

  • Newcastle University
  • 2013
  • Details

Designing atomic business functions

1 edition

  • Computing Science, Newcastle University
  • 2015
  • Details

obnb.uk is a Good Stuff website.