Author manuscript, published in "Science of Computer Programming (2012)" DOI: 10.1016/j.scico.2012.01.003 Model Checking and Performance Evaluation with CADP Illustrated on Shared-Memory Mutual Exclusion Protocols

by Radu Mateescu A , Wendelin Serwe A