Specifying Flexible Concurrency Control Schemes: An Abstract Operational Approach

D Stemple, Ronald Morrison

School of Computer Science

Research output: Contribution to conference › Paper

Original language	English
Pages	873-891
Publication status	Published - 1992

Other files and links

https://archive.cs.st-andrews.ac.uk/papers/download/SM92.pdf

Cite this