Probabilistic anonymity via coalgebraic simulations (Q974115): Difference between revisions

@@ Property / OpenAlex ID @@
+W2075609824
@@ Property / OpenAlex ID: W2075609824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Making Random Choices Invisible to the Scheduler
@@ Property / cites work: Making Random Choices Invisible to the Scheduler / rank @@
+Normal rank
@@ Property / cites work @@
+Probable innocence revisited
@@ Property / cites work: Probable innocence revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The dining cryptographers problem: Unconditional sender and recipient untraceability
+Normal rank
@@ Property / cites work @@
+Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus
+Normal rank
@@ Property / cites work @@
+A Framework for Automatically Checking Anonymity with μCRL
+Normal rank
@@ Property / cites work @@
+Generic Forward and Backward Simulations
@@ Property / cites work: Generic Forward and Backward Simulations / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863893
@@ Property / cites work: Q2863893 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Anonymity Via Coalgebraic Simulations
+Normal rank
@@ Property / cites work @@
+Q4508299
@@ Property / cites work: Q4508299 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem-proving anonymity of infinite-state systems
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Q4295369
@@ Property / cites work: Q4295369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852344
@@ Property / cites work: Q2852344 / rank @@
+Normal rank
@@ Property / cites work @@
+A randomized encoding of the \(\pi\)-calculus with mixed choice
+Normal rank
@@ Property / cites work @@
+CSP and anonymity
@@ Property / cites work: CSP and anonymity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Retracted: Semantic domains for combining probability and non-determinism
+Normal rank
@@ Property / cites work @@
+Distributing probability over non-determinism
@@ Property / cites work: Distributing probability over non-determinism / rank @@
+Normal rank