Mechanizing a process algebra for network protocols (Q287372): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2297246203
@@ Property / OpenAlex ID: W2297246203 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07304
@@ Property / arXiv ID: 1512.07304 / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi in Isabelle
@@ Property / cites work: Psi-calculi in Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Extending Sledgehammer with SMT Solvers
@@ Property / cites work: Extending Sledgehammer with SMT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol
+Normal rank
@@ Property / cites work @@
+Showing Invariance Compositionally for a Process Algebra for Network Protocols
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+A Process Algebra for Wireless Mesh Networks
@@ Property / cites work: A Process Algebra for Wireless Mesh Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395989
@@ Property / cites work: Q3395989 / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Mobile Ad Hoc Networks
@@ Property / cites work: A Calculus for Mobile Ad Hoc Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4365103
@@ Property / cites work: Q4365103 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Verification of Reactive Systems: Response
+Normal rank
@@ Property / cites work @@
+An observational theory for mobile ad hoc networks (full version)
+Normal rank
@@ Property / cites work @@
+Q2851331
@@ Property / cites work: Q2851331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4239073
@@ Property / cites work: Q4239073 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for security analysis of mobile wireless networks
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768503
@@ Property / cites work: Q2768503 / rank @@
+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 @@
+Isabelle/jEdit – A Prover IDE within the PIDE Framework
+Normal rank
@@ Property / cites work @@
+Shared-Memory Multiprocessing for Interactive Theorem Proving
+Normal rank