Q5111648 (Q5111648): Difference between revisions

@@ Property / cites work @@
+Q4263830
@@ Property / cites work: Q4263830 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterised Linearisability
@@ Property / cites work: Parameterised Linearisability / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction for concurrent objects
@@ Property / cites work: Abstraction for concurrent objects / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+A System-Level Game Semantics
@@ Property / cites work: A System-Level Game Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Liveness-Preserving Atomicity Abstraction
@@ Property / cites work: Liveness-Preserving Atomicity Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Quarantining Weakness
@@ Property / cites work: Quarantining Weakness / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract may testing semantics for concurrent objects
+Normal rank
@@ Property / cites work @@
+A Game Semantics of Idealized CSP
@@ Property / cites work: A Game Semantics of Idealized CSP / rank @@
+Normal rank
@@ Property / cites work @@
+A Fully Abstract Trace Semantics for General References
+Normal rank
@@ Property / cites work @@
+Q4643874
@@ Property / cites work: Q4643874 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying linearizability with hindsight
@@ Property / cites work: Verifying linearizability with hindsight / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
+Normal rank
@@ Property / cites work @@
+Impredicative Concurrent Abstract Predicates
@@ Property / cites work: Impredicative Concurrent Abstract Predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency
+Normal rank
@@ Property / cites work @@
+Logical relations for fine-grained concurrency
@@ Property / cites work: Logical relations for fine-grained concurrency / rank @@
+Normal rank