Symbolic Bisimulation for the Applied Pi Calculus (Q5458829): Difference between revisions

@@ Property / cites work @@
+Deciding knowledge in security protocols under equational theories
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+On the symbolic reduction of processes with cryptographic functions.
+Normal rank
@@ Property / cites work @@
+A symbolic semantics for the \(\pi\)-calculus
@@ Property / cites work: A symbolic semantics for the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Bisimulation for the Applied Pi Calculus
@@ Property / cites work: Symbolic Bisimulation for the Applied Pi Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank