Abstraction for concurrent objects (Q615951): Difference between revisions

@@ Property / author @@
-Peter W. O'Hearn
@@ Property / author: Peter W. O'Hearn / rank @@
-Normal rank
@@ Property / author @@
+Peter W. O'Hearn
@@ Property / author: Peter W. O'Hearn / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2010.09.021
+Normal rank
@@ Property / OpenAlex ID @@
+W2139533136
@@ Property / OpenAlex ID: W2139533136 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation independence, confinement and access control [extended abstract]
+Normal rank
@@ Property / cites work @@
+Q2852353
@@ Property / cites work: Q2852353 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction for Concurrent Objects
@@ Property / cites work: Abstraction for Concurrent Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Q5137879
@@ Property / cites work: Q5137879 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713577
@@ Property / cites work: Q3713577 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Prespecification in data refinement
@@ Property / cites work: Prespecification in data refinement / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract may testing semantics for concurrent objects
+Normal rank
@@ Property / cites work @@
+Q5137884
@@ Property / cites work: Q5137884 / rank @@
+Normal rank
@@ Property / cites work @@
+How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
+Normal rank
@@ Property / cites work @@
+Q3698316
@@ Property / cites work: Q3698316 / rank @@
+Normal rank
@@ Property / cites work @@
+The serializability of concurrent database updates
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281485
@@ Property / cites work: Q4281485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3718143
@@ Property / cites work: Q3718143 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+A unified theory of shared memory consistency
@@ Property / cites work: A unified theory of shared memory consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:615951