scientific article

zbMath0481.68021MaRDI QIDQ3939210

Krzysztof R. Apt, Ernst-Ruediger Olderog

Publication date: 1982

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

zbMATH Keywords

Dijkstra's do-od programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Merging regular processes by means of fixed-point theory, While-programs with nondeterministic assignments and the logic ALNA, Fairness and communication-based semantics for session-typed languages, Unnamed Item, Fairness and conspiracies