dc.contributor.author | HUGHES, ARTHUR | en |
dc.contributor.author | BOUROCHE, MELANIE | en |
dc.contributor.editor | J. Bowen, S. Reeves, T. Margaria, J. Padberg, G. Taentzer | en |
dc.date.accessioned | 2012-06-21T12:54:38Z | |
dc.date.available | 2012-06-21T12:54:38Z | |
dc.date.issued | 2011 | en |
dc.date.submitted | 2011 | en |
dc.identifier.citation | Colm 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 - 17 | en |
dc.identifier.other | Y | en |
dc.description | PUBLISHED | en |
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 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.sponsorship | Irish Research Council for Science, Engineering and Technology, IRCSET. | en |
dc.format.extent | 1 | en |
dc.format.extent | 17 | en |
dc.language.iso | en | en |
dc.relation.ispartofseries | 45 | en |
dc.rights | Y | en |
dc.subject | Mobile agent | en |
dc.subject | Process calculus | en |
dc.subject | Temporal | en |
dc.subject | Ad-hoc network | en |
dc.subject | Protocol | en |
dc.subject | Wireless | en |
dc.title | A Process Algebraic Description of a Temporal Wireless Network Protocol | en |
dc.title.alternative | Electronic Communications of the EASST | en |
dc.title.alternative | The Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011) | en |
dc.type | Conference Paper | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/aphughes | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/bourocm | en |
dc.identifier.rssinternalid | 76850 | en |
dc.subject.TCDTheme | Smart & Sustainable Planet | en |
dc.identifier.rssuri | http://journal.ub.tu-berlin.de/eceasst/article/view/660 | en |
dc.identifier.rssuri | http://journal.ub.tu-berlin.de/eceasst/article/view/660 | en |
dc.contributor.sponsor | Irish Research Council for Science and Engineering Technology (IRCSET) | en |
dc.identifier.uri | http://hdl.handle.net/2262/63918 | |