Login / Signup
Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries.
Jens Bæk Jørgensen
Lars Michael Kristensen
Published in:
IEEE Trans. Parallel Distributed Syst. (1999)
Keyphrases
</>
computer aided
learning algorithm
optimal solution
computer aided diagnosis
mutual exclusion
dynamic programming
general purpose
web services
pattern recognition
search space
orders of magnitude
computer aided design