Formal Analysis of Leader Election in MANETs Using Real-Time Maude
From MaRDI portal
Publication:5256351
DOI10.1007/978-3-319-15545-6_16zbMath1454.68014MaRDI QIDQ5256351
Si Liu, Peter Csaba Ölveczky, José Meseguer
Publication date: 22 June 2015
Published in: Software, Services, and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-15545-6_16
Related Items
Formal Analysis of Leader Election in MANETs Using Real-Time Maude, Modeling and analyzing mobile ad hoc networks in Real-Time Maude
Uses Software
Cites Work
- A calculus of trustworthy ad hoc networks
- A timed calculus for wireless systems
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
- Semantics and pragmatics of real-time maude
- A process calculus for mobile ad hoc networks
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- A theory of timed automata
- Timed rewriting logic with an application to object-based specification
- Specification of real-time and hybrid systems in rewriting logic
- Specification and proof in membership equational logic
- Abstraction and Completeness for Real-Time Maude
- Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
- A Framework for Mobile Ad hoc Networks in Real-Time Maude
- Model Checking MANETs with Arbitrary Mobility
- Formal Analysis of Leader Election in MANETs Using Real-Time Maude
