Equational Reasoning on Ad Hoc Networks

From MaRDI portal

Revision as of 17:34, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3400916

Jump to:navigation, search

DOI10.1007/978-3-642-11623-0_6zbMath1274.68009OpenAlexW1533829658WikidataQ57835338 ScholiaQ57835338MaRDI QIDQ3400916

Ali Movaghar, Fatemeh Ghassemi, W. J. Fokkink

Publication date: 28 January 2010

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11623-0_6

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

A timed calculus for wireless systems ⋮ A calculus of trustworthy ad hoc networks ⋮ Verification of mobile ad hoc networks: an algebraic approach

This page was built for publication: Equational Reasoning on Ad Hoc Networks

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3400916&oldid=16692081"