Bisimulations in the join-calculus (Q5958770): Difference between revisions

@@ Property / cites work @@
+Secure implementation of channel abstractions
@@ Property / cites work: Secure implementation of channel abstractions / rank @@
+Normal rank
@@ Property / cites work @@
+Authentication primitives and their compilation
@@ Property / cites work: Authentication primitives and their compilation / rank @@
+Normal rank
@@ Property / cites work @@
+On bisimulations for the asynchronous \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+The gamma model and its discipline of programming
@@ Property / cites work: The gamma model and its discipline of programming / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of internal mobility in name-passing calculi
+Normal rank
@@ Property / cites work @@
+Proof Techniques for Cryptographic Processes
@@ Property / cites work: Proof Techniques for Cryptographic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for causality in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Some congruence properties for \(\pi\)-calculus bisimilarities
+Normal rank
@@ Property / cites work @@
+Automata, languages and programming. 24th international colloquium, ICALP '97, Bologna, Italy, July 7--11, 1997. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4813226
@@ Property / cites work: Q4813226 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219054
@@ Property / cites work: Q4219054 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile agents
@@ Property / cites work: A calculus of mobile agents / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit typing à la ML for the join-calculus
@@ Property / cites work: Implicit typing à la ML for the join-calculus / 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 @@
+Automata, languages and programming. 25th international colloquium, ICALP '98. Aalborg, Denmark, July 13--17, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4219055
@@ Property / cites work: Q4219055 / 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 @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223013
@@ Property / cites work: Q4223013 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed processes and location failures
@@ Property / cites work: Distributed processes and location failures / rank @@
+Normal rank
@@ Property / cites work @@
+The name discipline of uniform receptiveness
@@ Property / cites work: The name discipline of uniform receptiveness / rank @@
+Normal rank