Expired data collection in shared dataspaces. (Q1874282): Difference between revisions

@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760247
@@ Property / cites work: Q2760247 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Phase Commitment Protocol in an Extended π-Calculus
+Normal rank
@@ Property / cites work @@
+On the expressiveness of Linda coordination primitives.
+Normal rank
@@ Property / cites work @@
+Q2767175
@@ Property / cites work: Q2767175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771054
@@ Property / cites work: Q2771054 / rank @@
+Normal rank
@@ Property / cites work @@
+A timed concurrent constraint language.
@@ Property / cites work: A timed concurrent constraint language. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of timed processes, ATP: Theory and application
+Normal rank
@@ Property / cites work @@
+Computability of Recursive Functions
@@ Property / cites work: Computability of Recursive Functions / rank @@
+Normal rank