Equivalence of data flow schemas

DOI10.1007/BF01069982MaRDI QIDQ4007313zbMATH OpenOpenAlexFDO

Authors 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

data flow schemasparallel programmingprogram schemas

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3780594 (Why is no real title available?)
• The equivalence problem for deterministic two-tape automata

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

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