Infinitary parallelism without unbounded nondeterminism in CSP

DOI10.1007/BF01210597zbMath0790.68040MaRDI QIDQ1323355

Paritosh K. Pandya, K. Narayan Kumar

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)

Related Items (1)

Infinitary parallelism without unbounded nondeterminism in CSP

Cites Work

• Unnamed Item
• Unnamed Item
• The fixed point theory of unbounded non-determinism
• Infinitary parallelism without unbounded nondeterminism in CSP
• A Theory of Communicating Sequential Processes

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