Decomposing Data Structure Commutativity Proofs with $$m\!n$$-Differencing
Work
Year: 2021
Type: book-chapter
Authors Eric Koskinen, Kshitij Bansal
Institutions Stevens Institute of Technology, Google (United States)
Cites: 47
Cited by: 4
Related to: 10
FWCI: 1.749
Citation percentile (by year/subfield): 88.49
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed