An observational theory for mobile ad hoc networks (full version)
type: Item
instance of: scholarly article
title: An observational theory for mobile ad hoc networks (full version)
zbMATH Open document ID: 1165.68052
author: Massimo Merro
published in: Information and Computation
publication date: 2009-04-14T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5543805
zbMATH Keywords: ad hoc network
zbMATH Keywords: process calculus
zbMATH Keywords: labelled transition semantics
zbMATH Keywords: bisimulation
describes a project that uses: Esterel
MaRDI profile type: Publication
full work available at URL: j.ic.2007.11.010
OpenAlex ID: W2042562411
Wikidata QID: Q62041649
cites work: The Esterel synchronous programming language: Design, semantics, implementation
cites work: CONCUR 2005 – Concurrency Theory
cites work: Foundations of Software Science and Computation Structures
cites work: A Calculus for Mobile Ad Hoc Networks
cites work: Statecharts: a visual formalism for complex systems
cites work: Bisimulations for a calculus of broadcasting systems
cites work: On reduction-based process semantics
cites work: An Observational Theory for Mobile Ad Hoc Networks
cites work: Towards a calculus for wireless systems
cites work: Calculi for synchrony and asynchrony
cites work: Q3992568
cites work: A calculus of mobile processes. II
cites work: Barbed bisimulation
cites work: A framework for security analysis of mobile wireless networks
cites work: Q3058638
cites work: The \(\pi\)-calculus: A theory of mobile processes
cites work: A process calculus for mobile ad hoc networks
DBLP publication ID: journals/iandc/Merro09
DOI: 10.1016/J.IC.2007.11.010
description: scientific article; zbMATH DE number 5543805