Synthesis of parallel programs on computational models

MaRDI QIDQ1132580zbMATH OpenFDO

Authors Toomas P. Plaks

Publication date 1977

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

consecutive interactive processescontrol structuresparallel programsPetri nets

Mathematics Subject Classification ID

Theory of operating systems (68N25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Synthesis of parallel programs on computational models

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