Problem of identity transformations of nondeterministic program shcemes in algorithmic algebra systems

DOI10.1007/BF01069760zbMath0522.68022OpenAlexW2031469126MaRDI QIDQ3673084

Yu. A. Yushchenko

Publication date: 1982

Published in: Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01069760

zbMATH Keywords

algorithmic algebrasstructural programmingnondeterministic disjunction operatorspropositional program logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Identical transformations in algebras of nondeterministic algorithms. I ⋮ Multilevel synthesis of structured programs ⋮ Theoretical and applied aspects of structured parallel programming

This page was built for publication: Problem of identity transformations of nondeterministic program shcemes in algorithmic algebra systems