@unpublished{govind_hal-05534072,
    title = {{Complexity of Consistency Testing for the Release-Acquire Semantics}},
    author = {Govind, R and Krishna, S and Sil, Sanchari and Srivathsan, B},
    url = {https://hal.science/hal-05534072},
    note = {working paper or preprint},
    year = {2026},
    month = {mar},
    pdf = {https://hal.science/hal-05534072v1/file/bounded-consistency-arxiv.pdf},
    hal_id = {hal-05534072},
    hal_version = {v1},
    date-added = {2026-3-8 20:2:55 +0100}
}

@unpublished{govind_hal-05534072, title = {{Complexity of Consistency Testing for the Release-Acquire Semantics}}, author = {Govind, R and Krishna, S and Sil, Sanchari and Srivathsan, B}, url = {https://hal.science/hal-05534072}, note = {working paper or preprint}, year = {2026}, month = {mar}, pdf = {https://hal.science/hal-05534072v1/file/bounded-consistency-arxiv.pdf}, hal_id = {hal-05534072}, hal_version = {v1}, date-added = {2026-3-8 20:2:55 +0100} }