Hybrid performance modelling of opportunistic networks

We demonstrate the modelling of opportunistic networks using the process algebra stochastic HYPE. Network traffic is modelled as continuous flows, contact between nodes in the network is modelled stochastically, and instantaneous decisions are modelled as discrete events. Our model describes a netwo...

Full description

Bibliographic Details
Main Authors: Luca Bortolussi, Vashti Galpin, Jane Hillston
Format: Article
Language:English
Published: Open Publishing Association 2012-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1207.0873v1