Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PMaude
@@ Property / describes a project that uses: PMaude / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-15545-6_16
+Normal rank
@@ Property / OpenAlex ID @@
+W1009973696
@@ Property / OpenAlex ID: W1009973696 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Model Checking MANETs with Arbitrary Mobility
@@ Property / cites work: Model Checking MANETs with Arbitrary Mobility / rank @@
+Normal rank
@@ Property / cites work @@
+Timed rewriting logic with an application to object-based specification
+Normal rank
@@ Property / cites work @@
+A Framework for Mobile Ad hoc Networks in Real-Time Maude
+Normal rank
@@ Property / cites work @@
+Formal Analysis of Leader Election in MANETs Using Real-Time Maude
+Normal rank
@@ Property / cites work @@
+Modeling and analyzing mobile ad hoc networks in Real-Time Maude
+Normal rank
@@ Property / cites work @@
+A calculus of trustworthy ad hoc networks
@@ Property / cites work: A calculus of trustworthy ad hoc networks / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and pragmatics of real-time maude
@@ Property / cites work: Semantics and pragmatics of real-time maude / rank @@
+Normal rank
@@ Property / cites work @@
+Specification of real-time and hybrid systems in rewriting logic
+Normal rank
@@ Property / cites work @@
+Abstraction and Completeness for Real-Time Maude
@@ Property / cites work: Abstraction and Completeness for Real-Time Maude / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
+Normal rank
@@ Property / cites work @@
+Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
+Normal rank
@@ Property / cites work @@
+A timed calculus for wireless systems
@@ Property / cites work: A timed calculus for wireless systems / 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 @@
+Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5256351