Sekerinski, Emil; Zhang, Tian Finitary fairness in action systems. (English) Zbl 1405.68090 Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2013. 10th international colloquium, Shanghai, China, September 4–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39717-2/pbk). Lecture Notes in Computer Science 8049, 319-336 (2013). MSC: 68N30 PDF BibTeX XML Cite \textit{E. Sekerinski} and \textit{T. Zhang}, Lect. Notes Comput. Sci. 8049, 319--336 (2013; Zbl 1405.68090) Full Text: DOI
Sekerinski, Emil; Zhang, Tian Verification rules for exception handling in Eiffel. (English) Zbl 1372.68051 Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 179-193 (2012). MSC: 68N15 68N30 PDF BibTeX XML Cite \textit{E. Sekerinski} and \textit{T. Zhang}, Lect. Notes Comput. Sci. 7498, 179--193 (2012; Zbl 1372.68051) Full Text: DOI