Full abstraction for expressiveness: history, myths and facts (Q5741573): Difference between revisions

@@ Property / cites work @@
+The next 700 programming languages
@@ Property / cites work: The next 700 programming languages / 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 @@
+Towards a unified approach to encodability and separation results for process calculi
+Normal rank
@@ Property / cites work @@
+A taxonomy of process calculi for distribution and mobility
+Normal rank
@@ Property / cites work @@
+Comparing communication primitives via their relative expressive power
+Normal rank
@@ Property / cites work @@
+GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
+Normal rank
@@ Property / cites work @@
+On the expressiveness of interaction
@@ Property / cites work: On the expressiveness of interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Types and full abstraction for polyadic \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+On the expressive power of programming languages
@@ Property / cites work: On the expressive power of programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+On Distributability in Process Calculi
@@ Property / cites work: On Distributability in Process Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Is It a “Good” Encoding of Mixed Choice?
@@ Property / cites work: Is It a “Good” Encoding of Mixed Choice? / rank @@
+Normal rank
@@ Property / cites work @@
+On the Asynchronous Nature of the Asynchronous π-Calculus
+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 @@
+Expressiveness of Process Algebras
@@ Property / cites work: Expressiveness of Process Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Separation of synchronous and asynchronous communication via testing
+Normal rank
@@ Property / cites work @@
+On the expressiveness of internal mobility in name-passing calculi
+Normal rank
@@ Property / cites work @@
+Decoding choice encodings
@@ Property / cites work: Decoding choice encodings / rank @@
+Normal rank
@@ Property / cites work @@
+Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
+Normal rank
@@ Property / cites work @@
+On bisimulations for the asynchronous \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+On abstraction and the expressive power of programming languages
+Normal rank
@@ Property / cites work @@
+On modelling mobility
@@ Property / cites work: On modelling mobility / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+On asynchrony in name-passing calculi
@@ Property / cites work: On asynchrony in name-passing calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank