A language of graph schemes of parallel algorithms
From MaRDI portal
Publication:1132577
zbMath0419.68039MaRDI QIDQ1132577
V. P. Kutepov, Yu. P. Korablin
Publication date: 1978
Published in: Programming and Computer Software (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (3)
Methods and means of parallel processing of information ⋮ Functional systems: Theoretical and practical aspects ⋮ Functionality problem in a class of relation schemas
This page was built for publication: A language of graph schemes of parallel algorithms
