1. “Truly concurrent” and nondeterministic semantics of discrete-time Petri nets

   • I. B. Virbitskaite
   • V. A. Borovlev
   • L. Popova-Zeugmann

   OriginalPaper 23 July 2016 Pages: 187 - 197

2. Comparison of specification decomposition methods in Event-B

   • P. N. Devyanin
   • V. V. Kulyamin
   • I. V. Shchepetkov

   OriginalPaper 23 July 2016 Pages: 198 - 205

3. Conflict resolution in multi-agent systems with typed relations for ontology population

   • N. O. Garanina
   • E. A. Sidorova
   • I. S. Anureev

   OriginalPaper 23 July 2016 Pages: 206 - 215

4. On fuzzy repetitions detection in documentation reuse

   • D. V. Luciv
   • D. V. Koznov
   • A. N. Terekhov

   OriginalPaper 23 July 2016 Pages: 216 - 224

5. Checking several requirements at once by CEGAR

   • V. O. Mordan
   • V. S. Mutilin

   OriginalPaper 23 July 2016 Pages: 225 - 238

6. Program schemata technique for propositional program logics: A 30-year history

   • N. V. Shilov
   • S. O. Shilova
   • A. Yu. Bernshtein

   OriginalPaper 23 July 2016 Pages: 239 - 256