1. Dynamic cut-off algorithm for parameterised refinement checking;Siirtola,2018
2. Communicating Sequential Processes;Hoare,1985
3. Understanding Concurrent Systems;Roscoe,2010
4. Reducing model checking of the many to the few;Emerson,2000
5. On reasoning about rings;Emerson;Int. J. Found. Comput. Sci.,2003