View in EDS PDF Full Text

Verifying Linearisability: A Comparative Survey.

Saved in:
Bibliographic Details
Title: Verifying Linearisability: A Comparative Survey.
Authors: DONGOL, BRIJESH1 Brijesh.Dongol@brunel.ac.uk, DERRICK, JOHN2 j.derrick@dcs.shef.ac.uk
Source: ACM Computing Surveys. Nov2015, Vol. 48 Issue 2, p19:1-19:43. 43p. 21 Diagrams, 4 Charts.
Database: Business Source Ultimate
Description
ISSN:03600300
DOI:10.1145/2796550