Partially interpreted schemas for CSP programming

DOI10.1016/0167-6423(88)90013-5zbMath0632.68015OpenAlexW2075839983MaRDI QIDQ1095639

Shmuel Katz, Orit Baruch

Publication date: 1988

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

Full work available at URL: https://doi.org/10.1016/0167-6423(88)90013-5

zbMATH Keywords

communicationdomainsdistributed computingspecificationsfree variablescorrect programinstantiationsprogram sections

Mathematics Subject Classification ID

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

This page was built for publication: Partially interpreted schemas for CSP programming