Concurrent Algorithms in SPIN Model Checker | IEEE Conference Publication | IEEE Xplore