On the Expressiveness of Symmetric Communication (Q3179397): Difference between revisions

@@ 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 / OpenAlex ID @@
+W2523275915
@@ Property / OpenAlex ID: W2523275915 / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+Formalising the pi-calculus using nominal logic
@@ Property / cites work: Formalising the pi-calculus using nominal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of Linda coordination primitives.
+Normal rank
@@ Property / cites work @@
+Q4457838
@@ Property / cites work: Q4457838 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding as a tool for language comparison
@@ Property / cites work: Embedding as a tool for language comparison / rank @@
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness via Intensionality and Concurrency
@@ Property / cites work: Expressiveness via Intensionality and Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+A Concurrent Pattern Calculus
@@ Property / cites work: A Concurrent Pattern Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of Symmetric Communication
@@ Property / cites work: On the Expressiveness of Symmetric Communication / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing communication primitives via their relative expressive power
+Normal rank
@@ Property / cites work @@
+A taxonomy of process calculi for distribution and mobility
+Normal rank
@@ Property / cites work @@
+Towards a unified approach to encodability and separation results for process calculi
+Normal rank
@@ Property / cites work @@
+Pattern Calculus
@@ Property / cites work: Pattern Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatory account of internal structure
@@ Property / cites work: A combinatory account of internal structure / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of Primitives for Compensation Handling
+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 @@
+Expressiveness of Process Algebras
@@ Property / cites work: Expressiveness of Process Algebras / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3179397