Extensible Canonical Process Model Synthesis Applying Formal Interpretation. - Leonid A. Kalinichenko; Sergey A. Stupnikov; Nikolay Zemtsov (ADBIS, 2005)

Brief Announcement Monitoring of Linear Distributed Computations. - Anton Esin; Rostislav Yavorskiy; Nikolay Zemtsov (DISC, 2006)