Expressiveness of concurrent intensionality (Q2193283): Difference between revisions

@@ 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.tcs.2020.05.007
+Normal rank
@@ Property / OpenAlex ID @@
+W3032132007
@@ Property / OpenAlex ID: W3032132007 / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Q3700824
@@ Property / cites work: Q3700824 / 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 @@
+Foundations of software science and computation structures. 1st international conference, FoSSaCS '98. Held as part of the joint European conferences on Theory and practice of software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Semantic subtyping for the pi-calculus
@@ Property / cites work: Semantic subtyping for the pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of \textsc{Klaim}-based calculi
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / 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 @@
+Q5216076
@@ Property / cites work: Q5216076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4995153
@@ Property / cites work: Q4995153 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Pattern Calculus
@@ Property / cites work: Concurrent Pattern Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Concurrent Pattern Calculus
@@ Property / cites work: A Concurrent Pattern Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5216155
@@ Property / cites work: Q5216155 / 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-matching spi-calculus
@@ Property / cites work: Pattern-matching spi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Matching Systems for Concurrent Calculi
@@ Property / cites work: Matching Systems for Concurrent Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+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 @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4964003
@@ Property / cites work: Q4964003 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness of Process Algebras
@@ Property / cites work: Expressiveness of Process Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Types and full abstraction for polyadic \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4986261
@@ Property / cites work: Q4986261 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank