A Timed Process Algebra for Wireless Networks with an Application in Routing (Q2802472): Difference between revisions

@@ Property / author @@
-Q161639
@@ Property / author: Q161639 / rank @@
-Normal rank
@@ Property / author @@
+Robert J. van Glabbeek
@@ Property / author: Robert J. van Glabbeek / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL/SPIN
@@ Property / describes a project that uses: HOL/SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LOTOS
@@ Property / describes a project that uses: LOTOS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Prover9
@@ Property / describes a project that uses: Prover9 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2978663703
@@ Property / OpenAlex ID: W2978663703 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03663
@@ Property / arXiv ID: 1606.03663 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete time process algebra
@@ Property / cites work: Discrete time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of standards for distance vector routing protocols
+Normal rank
@@ Property / cites work @@
+A Timed Process Algebra for Wireless Networks with an Application in Routing
+Normal rank
@@ Property / cites work @@
+A Rule Format for Associativity
@@ Property / cites work: A Rule Format for Associativity / 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 @@
+Modelling and verifying the AODV routing protocol
@@ Property / cites work: Modelling and verifying the AODV routing protocol / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of timed processes, ATP: Theory and application
+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 @@
+Q3725534
@@ Property / cites work: Q3725534 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2802472