Testing and verifying concurrent objects

DOI10.1006/JPDC.1993.1015zbMath0780.68093OpenAlexW2031348459MaRDI QIDQ1803302

Jeannette M. Wing, Chun Gong

Publication date: 29 June 1993

Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jpdc.1993.1015

zbMATH Keywords

linearizabilityconcurrent objectlibrary of verified concurrent objects

Mathematics Subject Classification ID

Database theory (68P15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Checking causal consistency of distributed databases ⋮ Concurrent correctness in vector space

This page was built for publication: Testing and verifying concurrent objects