Minimization problem for program schemes with commutative blocks

DOI10.1134/S0361768808040075zbMATH Open1185.68262OpenAlexW2004230786MaRDI QIDQ840035FDOQ840035

Authors: R. I. Podlovchenko 

Publication date: 4 September 2009

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768808040075

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Minimality and deadlockness of multitape automata

This page was built for publication: Minimization problem for program schemes with commutative blocks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q840035)