Sciweavers

6 search results - page 2 / 2
» Weak bisimulation is sound and complete for pCTL*
Sort
View
COORDINATION
2007
Springer
13 years 11 months ago
A Calculus for Mobile Ad Hoc Networks
We suggest a Calculus for Mobile Ad Hoc Networks, CMAN. A node in a network is a processes equipped with a location, it may communicate with other nodes using synchronous local bro...
Jens Chr. Godskesen