Revision as of 12:55, 23 November 2009 edit Uriah123 (talk \| contribs) 33 edits No edit summary ← Previous edit		Revision as of 12:56, 23 November 2009 edit undo Uriah123 (talk \| contribs) 33 edits No edit summary Next edit →
Line 42: \| pages = 47-14 — 47-30 }} <~~ref name="sahni"~~/ref>. Most notably, in a sequential environment one specifies the data structure's properties and checks that they are implemented correctly, by providing '''safety properties'''. In

Concurrent data structure: Difference between revisions