Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs With Symmetries
IEEE Transactions on Parallel and Distributed Systems - United States
doi 10.1109/71.780866
Full Text
Open PDFAbstract
Available in full text
Date
July 1, 1999
Authors
Publisher
Institute of Electrical and Electronics Engineers (IEEE)