Algebraic-grammatical models of parallel computation
From MaRDI portal
Publication:1910963
DOI10.1007/BF01130532zbMath0841.68045MaRDI QIDQ1910963
E. L. Yushchenko, G. E. Tseitlin
Publication date: 20 May 1996
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Data structures (68P05) General topics in the theory of software (68N01)
Related Items (2)
On the creation of a macromodel of social development ⋮ Formalized program specifications and transformation synthesis
Cites Work
- Program schemata with monotone operators
- Certain problems of the theory of structured program schemes
- Multilevel structured program designs and correctness proving
- Syntactically correct multilevel structured program design
- Identical transformations in algebras of nondeterministic algorithms. I
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Algebraic-grammatical models of parallel computation