Petr Kuznetsov. Universal Model Simulation: BG and Extended BG as Examples. In Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita, editors, Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings. Volume 8255 of Lecture Notes in Computer Science, pages 17-31, Springer, 2013. [doi]
Abstract is missing.