Encoding of parallel program schemata by vector addition systems

DOI10.1007/BF00977788MaRDI QIDQ3854605zbMATH OpenOpenAlexFDO

Authors André Thayse

Publication date 1979

Published in International Journal of Computer & Information Sciences (Search for Journal in Brave)

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

zbMATH Keywords

parallel processingvector addition systemsmultiprocessing systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Cites work

• scientific article; zbMATH DE number 3504426 (Why is no real title available?)
• A Comparison of Some Theoretical Models of Parallel Computation
• Parallel Program Schemata and Maximal Parallelism I. Fundamental Results
• Parallel Program Schemata and Maximal Parallelism II: Construction of Closures
• Parallel program schemata
• Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata

This page was built for publication: Encoding of parallel program schemata by vector addition systems

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