author : J. Christian Attiogbe

Short works

• A stepwise development of the Peterson's mutual exclusion algorithm using B Abstract Systems. 2005. (In ZB 2005 )