Show simple item record

dc.contributor.authorHUGHES, ARTHURen
dc.contributor.authorBOUROCHE, MELANIEen
dc.contributor.editorJ. Bowen, S. Reeves, T. Margaria, J. Padberg, G. Taentzeren
dc.date.accessioned2012-06-21T12:54:38Z
dc.date.available2012-06-21T12:54:38Z
dc.date.issued2011en
dc.date.submitted2011en
dc.identifier.citationColm Bhandal, Mélanie Bouroche and Arthur Hughes, A Process Algebraic Description of a Temporal Wireless Network Protocol, Electronic Communications of the EASST, The Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011), J. Bowen, S. Reeves, T. Margaria, J. Padberg, G. Taentzer, 45, 2011, 1 - 17en
dc.identifier.otherYen
dc.identifier.urihttp://hdl.handle.net/2262/63918
dc.descriptionPUBLISHEDen
dc.description.abstractThe problem of coordination is central to research in robotics, automatically guided vehicles, autonomous cars, unmanned aerial vehicles, and any other areas in which autonomous agents of any kind operate concurrently. This paper focuses on one particular model of coordination, namely Comhordu ?. The contribution of this work is a formalisation of the existing model in precise mathematical terms. This formalisation extends our understanding of the model and provides a basis for future work such as the formal verification of model properties, e.g. system safety.en
dc.description.sponsorshipIrish Research Council for Science, Engineering and Technology, IRCSET.en
dc.format.extent1en
dc.format.extent17en
dc.language.isoenen
dc.relation.ispartofseries45en
dc.rightsYen
dc.subjectMobile agenten
dc.subjectProcess calculusen
dc.subjectTemporalen
dc.subjectAd-hoc networken
dc.subjectProtocolen
dc.subjectWirelessen
dc.titleA Process Algebraic Description of a Temporal Wireless Network Protocolen
dc.title.alternativeElectronic Communications of the EASSTen
dc.title.alternativeThe Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011)en
dc.typeConference Paperen
dc.contributor.sponsorIrish Research Council for Science and Engineering Technology (IRCSET)en
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/aphughesen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/bourocmen
dc.identifier.rssinternalid76850en
dc.subject.TCDThemeSmart & Sustainable Planeten
dc.identifier.rssurihttp://journal.ub.tu-berlin.de/eceasst/article/view/660en
dc.identifier.rssurihttp://journal.ub.tu-berlin.de/eceasst/article/view/660en


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record