A process algebraic view of shared dataspace coordination (Q2474048): Difference between revisions

@@ Property / describes a project that uses @@
+KLAIM
@@ Property / describes a project that uses: KLAIM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MANIFOLD
@@ Property / describes a project that uses: MANIFOLD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LIME
@@ Property / describes a project that uses: LIME / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Linda
@@ Property / describes a project that uses: Linda / 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.jlap.2007.06.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2001593378
@@ Property / OpenAlex ID: W2001593378 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Phase Commitment Protocol in an Extended π-Calculus
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebraic view of Linda coordination primitives
+Normal rank
@@ Property / cites work @@
+Comparing three semantics for Linda-like languages
+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 @@
+Q4738178
@@ Property / cites work: Q4738178 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729050
@@ Property / cites work: Q2729050 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for 1-safe nets
@@ Property / cites work: Complexity results for 1-safe nets / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / cites work @@
+Transition system specifications with negative premises
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering Self-Organising Systems
@@ Property / cites work: Engineering Self-Organising Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223015
@@ Property / cites work: Q4223015 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2474048