scientific article
From MaRDI portal
Publication:3756505
zbMath0619.68014MaRDI QIDQ3756505
No author found.
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semanticscorrectness of the translationtranslation of determinate distributed programs into the sequential ones
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (1)
This page was built for publication:
