An Observational Theory for Mobile Ad Hoc Networks

  title={An Observational Theory for Mobile Ad Hoc Networks},
  author={Massimo Merro},
  journal={Electr. Notes Theor. Comput. Sci.},
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled Transition Semantics. We prove that the two semantics coincide. The labelled transition system is then used to derive the notions of (weak) simulation and bisimulation for ad hoc networks. The labelled bisimilarity completely characterises reduction barbed congruence, a standard branching… CONTINUE READING
Highly Influential
This paper has highly influenced 15 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 99 citations. REVIEW CITATIONS
54 Citations
24 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 54 extracted citations

99 Citations

Citations per Year
Semantic Scholar estimates that this publication has 99 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 24 references

A prospectus for mobile broadcasting systems

  • K.V.S. Prasad
  • Workshop on Algebraic Process Calculi: The First…
  • 2005
2 Excerpts

Similar Papers

Loading similar papers…