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. In Proceedings of the fifth International Conference on Computer and Information Technology 2005 (pp. 841–847). IEEE.