Colm Bhandal

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2015

Formalising a real-time coordination model

[BibT_eX]

[DOI]

PhD thesis, 2015

2011

A Process Algebraic Description of a Temporal Wireless Network Protocol.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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