Show simple item record

dc.contributor.authorHENNESSY, MATTHEWen
dc.date.accessioned2014-12-19T15:08:33Z
dc.date.available2014-12-19T15:08:33Z
dc.date.issued2013en
dc.date.submitted2013en
dc.identifier.citationCerone, A., Hennessy, M., Modelling probabilistic wireless networks, Logical Methods in Computer Science, 9, 3, 2013, art. no. 26en
dc.identifier.otherYen
dc.identifier.urihttp://hdl.handle.net/2262/72743
dc.descriptionPUBLISHEDen
dc.description.abstractWe propose a process calculus to model high level wireless systems, where the topology of a network is described by a digraph. The calculus enjoys features which are proper of wireless networks, namely broadcast communication and probabilistic behaviour. We first focus on the problem of composing wireless networks, then we present a compositional theory based on a probabilistic generalisation of the well known may-testing and must-testing pre- orders. Also, we define an extensional semantics for our calculus, which will be used to define both simulation and deadlock simulation preorders for wireless networks. We prove that our simulation preorder is sound with respect to the may-testing preorder; similarly, the deadlock simulation pre- order is sound with respect to the must-testing preorder, for a large class of networks. We also provide a counterexample showing that completeness of the simulation preorder, with respect to the may testing one, does not hold. We conclude the paper with an application of our theory to probabilistic routing protocols.en
dc.format.extentart. no. 26en
dc.language.isoenen
dc.relation.ispartofseriesLogical Methods in Computer Scienceen
dc.relation.ispartofseries9en
dc.relation.ispartofseries3en
dc.rightsYen
dc.subjectcalculusen
dc.titleModelling probabilistic wireless networksen
dc.typeJournal Articleen
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/mcbhenneen
dc.identifier.rssinternalid89922en
dc.identifier.doihttp://dx.doi.org/10.2168/LMCS-9(3:26)2013en
dc.rights.ecaccessrightsopenAccess


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record