Synthesizing precise and useful commutativity conditions (Q2208295): Difference between revisions

@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Servois
@@ Property / describes a project that uses: Servois / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Solidity
@@ Property / describes a project that uses: Solidity / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Spec#
@@ Property / describes a project that uses: Spec# / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CVC4
@@ Property / describes a project that uses: CVC4 / 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.1007/s10817-020-09573-w
+Normal rank
@@ Property / OpenAlex ID @@
+W3082023611
@@ Property / OpenAlex ID: W3082023611 / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic generation of precise and useful commutativity conditions
+Normal rank
@@ Property / cites work @@
+A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
+Normal rank
@@ Property / cites work @@
+Making prophecies with decision predicates
@@ Property / cites work: Making prophecies with decision predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Adding concurrency to smart contracts
@@ Property / cites work: Adding concurrency to smart contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Specification of Abstract Data Types in Modula
@@ Property / cites work: Specification of Abstract Data Types in Modula / rank @@
+Normal rank
@@ Property / cites work @@
+Learning commutativity specifications
@@ Property / cites work: Learning commutativity specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778917
@@ Property / cites work: Q2778917 / rank @@
+Normal rank
@@ Property / cites work @@
+Coarse-grained transactions
@@ Property / cites work: Coarse-grained transactions / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction
@@ Property / cites work: Reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction-guided synthesis of synchronization
@@ Property / cites work: Abstraction-guided synthesis of synchronization / rank @@
+Normal rank
@@ Property / cites work @@
+Peephole Partial Order Reduction
@@ Property / cites work: Peephole Partial Order Reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Commutativity-based concurrency control for abstract data types
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2208295