Verification of mobile ad hoc networks: an algebraic approach
type: Item
instance of: scholarly article
title: Verification of mobile ad hoc networks: an algebraic approach
zbMATH Open document ID: 1216.68160
author: Fatemeh Ghassemi
author: Wan Fokkink
author: Ali Movaghar
published in: Theoretical Computer Science
publication date: 2011-07-07T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68M07
Mathematics Subject Classification ID: 68M12
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5918238
zbMATH Keywords: process theory
zbMATH Keywords: local broadcast
zbMATH Keywords: mobility
zbMATH Keywords: axiomatization
zbMATH Keywords: uniform MANET
zbMATH Keywords: symbolic verification
describes a project that uses: CADP
describes a project that uses: mCRL2
describes a project that uses: HOL/SPIN
MaRDI profile type: Publication
full work available at URL: j.tcs.2011.03.017
OpenAlex ID: W1976627080
Wikidata QID: Q57835298
cites work: Equational Reasoning on Ad Hoc Networks
cites work: Equational Reasoning on Mobile Ad Hoc Networks
cites work: Focus points and convergent process operators: A proof strategy for protocol verification
cites work: Q4417864
cites work: Cones and foci: A mechanical framework for protocol verification
cites work: The parallel composition of uniform processes with data
cites work: Modelling distributed systems.
cites work: Specification of abstract data types
cites work: Process algebra for synchronous communication
cites work: Formal Techniques for Networked and Distributed Systems – FORTE 2004
cites work: Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
cites work: Formal verification of standards for distance vector routing protocols
cites work: A Calculus for Mobile Ad-hoc Networks with Static Location Binding
DOI: 10.1016/J.TCS.2011.03.017
description: scientific article; zbMATH DE number 5918238