Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

Structural synthesis of parallel programs (methodology and tools)

From MaRDI portal
Publication:1388058
Jump to:navigation, search

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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1388058&oldid=13538179"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 31 January 2024, at 16:45.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki