Fairness, Resources, and Separation (Q3178252): Difference between revisions

@@ Property / cites work @@
+A generalized Kahn Principle for abstract asynchronous networks
+Normal rank
@@ Property / cites work @@
+Permission accounting in separation logic
@@ Property / cites work: Permission accounting in separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852352
@@ Property / cites work: Q2852352 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for a shared-variable parallel language
+Normal rank
@@ Property / cites work @@
+Q4484505
@@ Property / cites work: Q4484505 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851320
@@ Property / cites work: Q2851320 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of finite and infinite networks of concurrent communicating agents
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+A model of concurrency with fair merge and full recursion
+Normal rank
@@ Property / cites work @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Liveness Properties of Concurrent Programs
+Normal rank
@@ Property / cites work @@
+Q3795195
@@ Property / cites work: Q3795195 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of indeterminate dataflow primitives
+Normal rank
@@ Property / cites work @@
+Q3906397
@@ Property / cites work: Q3906397 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint semantics for nondeterministic data flow
+Normal rank