Infinitary parallelism without unbounded nondeterminism in CSP

DOI10.1007/BF01210597MaRDI QIDQ1323355zbMATH OpenFDO

Authors K. Narayan Kumar, Paritosh K. Pandya

Publication date 2 June 1994

Published in Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

CSPconcurrent processescommunicating sequential processesinfinitary parallel composition operator

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Unbounded nondeterminism in CSP
• Unbounded Non-determinism in CSP
• The fixed point theory of unbounded non-determinism
• Specifying termination in CSP

Cites work

• scientific article; zbMATH DE number 3902016 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• Infinitary parallelism without unbounded nondeterminism in CSP
• The fixed point theory of unbounded non-determinism

Cited in

(5)

• Unbounded nondeterminism in CSP
• Unbounded Non-determinism in CSP
• Infinitary parallelism without unbounded nondeterminism in CSP
• Unfolding CSP
• Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction

This page was built for publication: Infinitary parallelism without unbounded nondeterminism in CSP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1323355)