A Stepwise Development of the Peterson’s Mutual Exclusion Algorithm Using B Abstract Systems

Author(s):  
J. Christian Attiogbé
2021 ◽  
pp. 394-405
Author(s):  
Debdita Kar ◽  
Mandira Roy ◽  
Nabendu Chaki

Sign in / Sign up

Export Citation Format

Share Document