Specifying Flexible Concurrency Control Schemes: An Abstract Operational Approach

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Fully Integrated Data Environments
Editors	MP Atkinson, R Welland
Publisher	Springer-Verlag
Pages	286-289
ISBN (Print)	3-540-65772-X
Publication status	Published - 1999

Cite this

@inbook{3e86373d3274452698ade6359ed09260,

title = "Specifying Flexible Concurrency Control Schemes: An Abstract Operational Approach",

author = "D Stemple and Ronald Morrison",

year = "1999",

language = "English",

isbn = "3-540-65772-X",

pages = "286--289",

editor = "MP Atkinson and R Welland",

booktitle = "Fully Integrated Data Environments",

publisher = "Springer-Verlag",

address = "Germany",

}

TY - CHAP

T1 - Specifying Flexible Concurrency Control Schemes: An Abstract Operational Approach

AU - Stemple, D

AU - Morrison, Ronald

PY - 1999

Y1 - 1999

UR - http://www.scopus.com/inward/record.url?scp=0001004545&partnerID=8YFLogxK

UR - http://www.dcs.st-and.ac.uk/research/publications/SM92.shtml

M3 - Chapter

SN - 3-540-65772-X

SP - 286

EP - 289

BT - Fully Integrated Data Environments

A2 - Atkinson, MP

A2 - Welland, R

PB - Springer-Verlag

ER -