University of Limerick Institutional Repository

A process algebraic description of a temporal wireless network protocol

DSpace Repository

Show simple item record

dc.contributor.author Bhandal, Colm
dc.contributor.author Bouroche, Mélanie
dc.contributor.author Hughes, Arthur
dc.date.accessioned 2014-02-04T16:52:28Z
dc.date.available 2014-02-04T16:52:28Z
dc.date.issued 2011
dc.identifier.uri http://hdl.handle.net/10344/3657
dc.description peer-reviewed en_US
dc.description.abstract The 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 Comhord´u. 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_US
dc.language.iso eng en_US
dc.publisher European Association of Software Science and Technology (E A S S T) en_US
dc.relation.ispartofseries Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011);45, pp. 1-17
dc.subject process calculus en_US
dc.subject temporal en_US
dc.subject protocol en_US
dc.subject model en_US
dc.subject wireless en_US
dc.subject mobile agent en_US
dc.subject system en_US
dc.subject ad-hoc network en_US
dc.title A process algebraic description of a temporal wireless network protocol en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics