Stateful applied pi calculus: observational equivalence and labelled bisimilarity (Q2397042): Difference between revisions

@@ Property / author @@
-Mark D. Ryan
@@ Property / author: Mark D. Ryan / rank @@
-Normal rank
@@ Property / author @@
+Mark D. Ryan
@@ Property / author: Mark D. Ryan / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2596880044
@@ Property / OpenAlex ID: W2596880044 / rank @@
+Normal rank
@@ 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 @@
+Private authentication
@@ Property / cites work: Private authentication / rank @@
+Normal rank
@@ Property / cites work @@
+YAPA
@@ Property / cites work: YAPA / 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 Equivalence Properties of Cryptographic Protocols
+Normal rank
@@ Property / cites work @@
+Automating Security Analysis: Symbolic Equivalence of Constraint Systems
+Normal rank
@@ Property / cites work @@
+Deciding equivalence-based properties using constraint solving
+Normal rank
@@ Property / cites work @@
+Relating two standard notions of secrecy
@@ Property / cites work: Relating two standard notions of secrecy / rank @@
+Normal rank
@@ Property / cites work @@
+A relational modal logic for higher-order stateful ADTs
+Normal rank
@@ Property / cites work @@
+State and progress in strand spaces: proving fair exchange
+Normal rank
@@ Property / cites work @@
+A complete symbolic bisimulation for full applied pi calculus
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency
+Normal rank