Pages that link to "Item:Q862853"
From MaRDI portal
The following pages link to Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853):
Displaying 9 items.
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Joshua Guttman: pioneering strand spaces (Q2154021) (← links)
- Recent Advances in Real-Time Maude (Q2864519) (← links)
- Abstraction and Completeness for Real-Time Maude (Q2873773) (← links)
- Probabilistic Real-Time Rewrite Theories and Their Expressive Power (Q3172843) (← links)
- Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351) (← links)
