scientific article; zbMATH DE number 3831280

MaRDI QIDQ3036689zbMATH OpenFDO

Authors Vadim E. Kotov

Publication date 1982

zbMATH Keywords

abstract parallel structuresdata-flow schemataKarp-Miller schemataparallel program schemataPetri netssemantics of parallel programssynthesis and optimization of codesverification

Mathematics Subject Classification ID

Theory of operating systems (68N25)

This page was built for publication:

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