scientific article

zbMath0792.68088MaRDI QIDQ3975028

Michael Goldsmith, Geoff Barrett

Publication date: 26 June 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

distributed systemsCSPtopological propertiesLindelöf numbercommunicating sequential processesnondeterminacy

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Logic of natural languages (03B65) Semantics in the theory of computing (68Q55)

Related Items

The fixed point theory of unbounded non-determinism