A process calculus for mobile ad hoc networks
type: Item
instance of: scholarly article
title: A process calculus for mobile ad hoc networks
zbMATH Open document ID: 1192.68451
author: Anu Singh
author: C. R. Ramakrishnan
author: Scott A. Smolka
published in: Science of Computer Programming
publication date: 2010-04-29T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68M10
zbMATH DE Number: 5702847
zbMATH Keywords: mobile ad hoc networks
zbMATH Keywords: process calculi
zbMATH Keywords: bisimulation
zbMATH Keywords: congruence
describes a project that uses: SPIN
describes a project that uses: Uppaal
describes a project that uses: MMC
describes a project that uses: HOL/SPIN
MaRDI profile type: Publication
full work available at URL: j.scico.2009.07.008
OpenAlex ID: W1990328104
cites work: Q4417935
cites work: Parametric synchronizations in mobile nominal calculi
cites work: Mobile ambients
cites work: On the decidability of process equivalences for the \(\pi\)-calculus
cites work: A Calculus for Mobile Ad Hoc Networks
cites work: Q4223018
cites work: An Observational Theory for Mobile Ad Hoc Networks
cites work: Towards a calculus for wireless systems
cites work: A calculus of mobile processes. II
cites work: A framework for security analysis of mobile wireless networks
cites work: An introduction to the \(\pi\)-calculus.
cites work: On the bisimulation proof method
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Q4414384
DOI: 10.1016/J.SCICO.2009.07.008
description: scientific article; zbMATH DE number 5702847