## Henrik Ejersbo Jensen, Nancy A. Lynch

*A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction*

TACAS, 1998.

@inproceedings{TACAS-1998-JensenL, author = "Henrik Ejersbo Jensen and Nancy A. Lynch", booktitle = "{Proceedings of the Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/BFb0054186", isbn = "3-540-64356-7", pages = "409--423", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction}", volume = 1384, year = 1998, }