A complete symbolic bisimulation for full applied pi calculus (Q1758155): Difference between revisions

@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Private authentication
@@ Property / cites work: Private authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+Automated verification of selected equivalences for security protocols
+Normal rank
@@ Property / cites work @@
+A method for symbolic analysis of security protocols
+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 @@
+A Complete Symbolic Bisimilarity for an Extended Spi Calculus
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Proof systems for message-passing process algebras
+Normal rank
@@ Property / cites work @@
+Extended pi-Calculi
@@ Property / cites work: Extended pi-Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus.
+Normal rank
@@ Property / cites work @@
+A Complete Symbolic Bisimulation for Full Applied Pi Calculus
+Normal rank
@@ Property / cites work @@
+Proof System for Applied Pi Calculus
@@ Property / cites work: Proof System for Applied Pi Calculus / rank @@
+Normal rank