Vadim Zaytsev. Modelling and Model Checking of Distributed Systems. Master's thesis, Rostov State University, Rostov-on-Don, Russia, June 2003.
@mastersthesis{Zaytsev-Thesis2003, title = {Modelling and Model Checking of Distributed Systems}, author = {Vadim Zaytsev}, year = {2003}, month = {June}, note = {Available via \url{http://grammarware.net/text/2003/zaytsev-thesis.pdf}.}, tags = {distributed applications, rule-based, program analysis, completeness, meta programming, case study, software components, model checking, program verification, meta-model, modeling, protocol, refinement, software component, domain analysis, analysis, constraints, model-driven development, Meta-Environment, process modeling}, researchr = {https://researchr.org/publication/Zaytsev-Thesis2003}, cites = {0}, citedby = {0}, school = {Rostov State University}, address = {Rostov-on-Don, Russia}, advisor = {Alexander Litvinenko}, }