Denotational semantics of CSP

DOI10.1016/0304-3975(84)90091-4zbMath0552.68021OpenAlexW1970532182MaRDI QIDQ801677

N. Soundararajan

Publication date: 1984

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(84)90091-4

zbMATH Keywords

concurrencycommunicationsdenotational semantics for CSP

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites Work

• Unnamed Item
• Unnamed Item
• A linear-history semantics for languages for distributed programming
• Semantics of nondeterminism, concurrency, and communication
• A Powerdomain Construction
• Processes and the denotational semantics of concurrency

This page was built for publication: Denotational semantics of CSP