Deadlock and fictitiousness problem in parallel program specifications
Journal Article
·
· Cybernetics and Systems Analysis
OSTI ID:121199
One of the directions of modern programming based on algebraic methods takes its origin in V.M. Glushkov`s theory of systems of algorithmic algebras (SAA). The SAA apparatus with appropriately interpreted operations is used for program design and allows compact structured representation of program schemas in the form of algebraic formulas. Modified systems of algorithmic algebras (SAA-M) additionally represent parallelism description tools.
- OSTI ID:
- 121199
- Journal Information:
- Cybernetics and Systems Analysis, Vol. 30, Issue 5; Other Information: PBD: May 1995; TN: Translated from Kibernetika i Sistemnyi Analiz; No. 5, 142-152(Sep-Oct 1994)
- Country of Publication:
- United States
- Language:
- English
Similar Records
Problem of identity transformations of nondeterministic program schemes in algorithmic algebra systems
Formal transformations in three-valued logic of structural programming
Structured programming in symbolic multiprocessing
Journal Article
·
Sat May 01 00:00:00 EDT 1982
· Cybernetics (Engl. Transl.); (United States)
·
OSTI ID:121199
Formal transformations in three-valued logic of structural programming
Conference
·
Fri Jan 01 00:00:00 EST 1982
·
OSTI ID:121199
Structured programming in symbolic multiprocessing
Journal Article
·
Tue May 01 00:00:00 EDT 1984
· Cybernetics (Engl. Transl.); (United States)
·
OSTI ID:121199