scientific article; zbMATH DE number 17795

zbMATH Open0755.68101MaRDI QIDQ3975137

Ernst-Rüdiger Olderog

Publication date: 26 June 1992

Title of this publication is not available (Why is that?)

zbMATH Keywords

readiness semanticsprocess correctnessreadiness equivalencesemantic model for process terms

Mathematics Subject Classification ID

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

Related Items (2)

Correspondence assertions for process synchronization in concurrent communications ⋮ Progress assumption in concurrent systems

This page was built for publication:

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