Proofs about Network Communication: For Humans and Machines (Q6197375): Difference between revisions

@@ Property / cites work @@
+NetKAT
@@ Property / cites work: NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+Formalising the pi-calculus using nominal logic
@@ Property / cites work: Formalising the pi-calculus using nominal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi in Isabelle
@@ Property / cites work: Psi-calculi in Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Truly Modular (Co)datatypes for Isabelle/HOL
@@ Property / cites work: Truly Modular (Co)datatypes for Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Ouroboros Praos: an adaptively-secure, semi-synchronous proof-of-stake blockchain
+Normal rank
@@ Property / cites work @@
+Ouroboros: a provably secure proof-of-stake blockchain protocol
+Normal rank
@@ Property / cites work @@
+A process calculus for mobile ad hoc networks
@@ Property / cites work: A process calculus for mobile ad hoc networks / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal techniques in Isabelle/HOL
@@ Property / cites work: Nominal techniques in Isabelle/HOL / rank @@
+Normal rank