A Process Algebraic Description of a Temporal Wireless Network Protocol
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 - 17Download Item:
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.
Sponsor
Grant Number
Irish Research Council for Science and Engineering Technology (IRCSET)
Author's Homepage:
http://people.tcd.ie/aphugheshttp://people.tcd.ie/bourocm
Description:
PUBLISHED
Author: HUGHES, ARTHUR; BOUROCHE, MELANIE
Sponsor:
Irish Research Council for Science and Engineering Technology (IRCSET)Other Titles:
Electronic Communications of the EASSTThe Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011)
Type of material:
Conference PaperCollections
Series/Report no:
45Availability:
Full text availableKeywords:
Mobile agent, Process calculus, Temporal, Ad-hoc network, Protocol, WirelessSubject (TCD):
Smart & Sustainable PlanetMetadata
Show full item recordLicences: