Multi-step transactions specification and verification in a mobile database community

Executions of concurrent multi-step transactions interleave steps in ways that improve the throughput of the particular transactions processing system. In this paper, we use temporal logic to specify and verify formally the correctness of local and mobile transactions executing concurrently on a mob...

Full description

Bibliographic Details

Main Authors:	Rafat Alshorman, Walter Hussak
Format:	Default Conference proceeding
Published:	2008
Subjects:	Other information and computing sciences not elsewhere classified untagged Information and Computing Sciences not elsewhere classified
Online Access:	https://hdl.handle.net/2134/4165
Tags:	Add Tag No Tags, Be the first to tag this record!