scientific article; zbMATH DE number 3831280

zbMATH Open0524.68014MaRDI QIDQ3036689FDOQ3036689

Authors: Vadim E. Kotov 

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

verificationPetri netsparallel program schematasemantics of parallel programsabstract parallel structuresdata-flow schemataKarp-Miller schematasynthesis and optimization of codes

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)