Romijn, Judi; Wesselink, Wieger; Mooij, Arjan Assertion-based proof checking of Chang-Roberts leader election in PVS. (English) Zbl 1141.68487 Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 347-361 (2007). MSC: 68Q60 68T15 PDF BibTeX XML Cite \textit{J. Romijn} et al., Lect. Notes Comput. Sci. 4762, 347--361 (2007; Zbl 1141.68487) Full Text: DOI
Mooij, Arjan; Romijn, Judi; Wesselink, Wieger Realizability criteria for compositional MSC. (English) Zbl 1236.68049 Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35633-2/pbk). Lecture Notes in Computer Science 4019, 248-262 (2006). MSC: 68N30 PDF BibTeX XML Cite \textit{A. Mooij} et al., Lect. Notes Comput. Sci. 4019, 248--262 (2006; Zbl 1236.68049) Full Text: DOI