Formal Development of Basic Timestamp Concurrency Control Mechanism Using Event-B
International Journal of Computer Applications
doi 10.5120/ijca2015905409
Full Text
Open PDFAbstract
Available in full text
Date
August 18, 2015
Authors
Publisher
Foundation of Computer Science