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

@@ Property / DOI @@
-.1016/j.cl.2006.11.001
@@ Property / DOI: 10.1016/j.cl.2006.11.001 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+MPI
@@ Property / describes a project that uses: MPI / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BSPedupack
@@ Property / describes a project that uses: BSPedupack / 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.1016/j.cl.2006.11.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2086573749
@@ Property / OpenAlex ID: W2086573749 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.CL.2006.11.001
@@ Property / DOI: 10.1016/J.CL.2006.11.001 / rank @@
+Normal rank