Q5009710 (Q5009710): Difference between revisions

@@ Property / describes a project that uses @@
+SPEC
@@ Property / describes a project that uses: SPEC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The Applied Pi Calculus
@@ Property / cites work: The Applied Pi Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Divergence and unique solution of equations
@@ Property / cites work: Divergence and unique solution of equations / rank @@
+Normal rank
@@ Property / cites work @@
+Real time process algebra
@@ Property / cites work: Real time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223007
@@ Property / cites work: Q4223007 / rank @@
+Normal rank
@@ Property / cites work @@
+Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
+Normal rank
@@ Property / cites work @@
+Security Analysis of the PACE Key-Agreement Protocol
+Normal rank
@@ Property / cites work @@
+Expressiveness modulo bisimilarity of regular expressions with parallel composition
+Normal rank
@@ Property / cites work @@
+Open bisimulation, revisited
@@ Property / cites work: Open bisimulation, revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Supplemental Access Control (PACE v2): Security Analysis of PACE Integrated Mapping
+Normal rank
@@ Property / cites work @@
+The Hitchhiker's guide to decidability and complexity of equivalence properties in security protocols
+Normal rank
@@ Property / cites work @@
+Injective synchronisation: An extension of the authentication hierarchy
+Normal rank
@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Quasi-Open Bisimilarity with Mismatch is Intuitionistic
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+A complete symbolic bisimulation for full applied pi calculus
+Normal rank
@@ Property / cites work @@
+Reconciling real and stochastic time: the need for probabilistic refinement
+Normal rank
@@ Property / cites work @@
+Modal logics for mobile processes
@@ Property / cites work: Modal logics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4718481
@@ Property / cites work: Q4718481 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Theoretic Analysis of Intruder Theories
@@ Property / cites work: A Proof Theoretic Analysis of Intruder Theories / rank @@
+Normal rank
@@ Property / cites work @@
+A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
+Normal rank
@@ Property / cites work @@
+SPEC: An Equivalence Checker for Security Protocols
+Normal rank
@@ Property / cites work @@
+On a new formal proof model for RFID location privacy
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4989406
@@ Property / cites work: Q4989406 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5009710