Structural synthesis of parallel programs (methodology and tools)

zbMath0898.68007MaRDI QIDQ1388058

G. E. Tsejtlin, E. L. Yushchenko

Publication date: 19 October 1998

Published in: Computer Science Journal of Moldova (Search for Journal in Brave)

zbMATH Keywords

structural programmingpropositional program logics

Mathematics Subject Classification ID

Logic in computer science (03B70) General topics in the theory of software (68N01)

This page was built for publication: Structural synthesis of parallel programs (methodology and tools)