Colm Bhandal

According to our database, Colm Bhandal authored at least 3 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Formalising a real-time coordination model

Colm Bhandal

PhD thesis, 2015

2011

A Process Algebraic Description of a Temporal Wireless Network Protocol.

Colm Bhandal, Mélanie Bouroche, Arthur Hughes

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker.

Colm Bhandal, Mélanie Bouroche, Arthur Hughes

Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011