Q5013871 (Q5013871): Difference between revisions

@@ Property / cites work @@
+On the expressive power of recursion, replication and iteration in process calculi
+Normal rank
@@ Property / cites work @@
+Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4986261
@@ Property / cites work: Q4986261 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a unified approach to encodability and separation results for process calculi
+Normal rank
@@ Property / cites work @@
+Full abstraction for expressiveness: history, myths and facts
+Normal rank
@@ Property / cites work @@
+Q5013872
@@ Property / cites work: Q5013872 / 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 @@
+On abstraction and the expressive power of programming languages
+Normal rank
@@ Property / cites work @@
+What is a ``good'' encoding of guarded choice?
@@ Property / cites work: What is a ``good'' encoding of guarded choice? / rank @@
+Normal rank
@@ Property / cites work @@
+Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
+Normal rank
@@ Property / cites work @@
+Decoding choice encodings
@@ Property / cites work: Decoding choice encodings / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Expressiveness of Process Algebras
@@ Property / cites work: Expressiveness of Process Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+General conditions for full abstraction
@@ Property / cites work: General conditions for full abstraction / 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 Distributability in Process Calculi
@@ Property / cites work: On Distributability in Process Calculi / rank @@
+Normal rank