scientific article
From MaRDI portal
Publication:3975027
zbMath0792.68089MaRDI QIDQ3975027
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
CSPunbounded non-determinismclassic failures modelcommunication sequential processesinfinite nondeterministic composition of processes
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items (4)
Unbounded nondeterminism in CSP ⋮ Quantales, observational logic and process semantics ⋮ Revivals, stuckness and the hierarchy of CSP models ⋮ The timed failures -- Stability model for CSP
This page was built for publication:
