A Testing Theory for a Higher-Order Cryptographic Language (Q3000588): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-19718-5_19
+Normal rank
@@ Property / OpenAlex ID @@
+W2158293316
@@ Property / OpenAlex ID: W2158293316 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Q4230922
@@ Property / cites work: Q4230922 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Proof Techniques for Cryptographic Processes
@@ Property / cites work: Proof Techniques for Cryptographic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On bisimulations for the spi calculus
@@ Property / cites work: On bisimulations for the spi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+The security pi-calculus and non-interference
@@ Property / cites work: The security pi-calculus and non-interference / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual equivalence for higher-order pi-calculus revisited
+Normal rank
@@ Property / cites work @@
+First-order reasoning for higher-order concurrency
+Normal rank
@@ Property / cites work @@
+Game Semantics for Higher-Order Concurrency
@@ Property / cites work: Game Semantics for Higher-Order Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for higher-order process calculi
@@ Property / cites work: Bisimulation for higher-order process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+On the bisimulation proof method
@@ Property / cites work: On the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Bisimulations and Functional Languages
@@ Property / cites work: Logical Bisimulations and Functional Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank