Automatic construction of CSP programs from sequential non-deterministic programs

DOI10.1016/0167-6423(85)90016-4zbMath0567.68015OpenAlexW2008823685MaRDI QIDQ1060002

Abha Moitra

Publication date: 1985

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

Full work available at URL: https://hdl.handle.net/1813/6437

zbMATH Keywords

CSPcommunicating processesdistributed programsequential non-deterministic programssequential program

Mathematics Subject Classification ID

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

This page was built for publication: Automatic construction of CSP programs from sequential non-deterministic programs