IEEE
International Conference on Computer and Information Technology
Specification and Analysis of Embedded Systems

Chen, T., Han, T.& Lu, J. (2005). Analysis of a leader election algorithm in $\mu$ CRL. Proceedings of the Fifth International Conference on Computer and Information Technology 2005, 841–847.