A bulk-synchronous parallel process algebra (Q875955): Difference between revisions

@@ Property / cites work @@
+A calculus of functional BSP programs
@@ Property / cites work: A calculus of functional BSP programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4827372
@@ Property / cites work: Q4827372 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998976
@@ Property / cites work: Q3998976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751390
@@ Property / cites work: Q3751390 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatization of timed bisimulation for a class of timed regular behaviours
+Normal rank
@@ Property / cites work @@
+Q4547773
@@ Property / cites work: Q4547773 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4434708
@@ Property / cites work: Q4434708 / rank @@
+Normal rank