Equivalence of data flow schemas

DOI10.1007/BF01069982zbMath0800.68547OpenAlexW2051689887MaRDI QIDQ4007313

V. I. Borisenko

Publication date: 27 September 1992

Published in: Cybernetics (Search for Journal in Brave)

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

zbMATH Keywords

parallel programmingprogram schemasdata flow schemas

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Cites Work

• The equivalence problem for deterministic two-tape automata
• Unnamed Item

This page was built for publication: Equivalence of data flow schemas