• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

An Afficient Equivalence-Checking Algorithm for a Model of Programs with Commutative and Absorptive Statements

P. 85-96.

В книге

Под науч. редакцией: S. Zbigniew, L. Czaja. Vol. 1492: Proceedings of the 24th International Workshop on Concurrency, Specification and Programming. Rzeszow, Poland, September 28-30, 2015.. CEUR Workshop Proceedings, 2015.