scientific article

zbMath0512.68022MaRDI QIDQ3657417

No author found.

Publication date: 1983

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

zbMATH Keywords

total correctness proof system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (10)

Marking fairness in Petri nets ⋮ Merging regular processes by means of fixed-point theory ⋮ Appraising fairness in languages for distributed programming ⋮ The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\) ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ A Bibliography of Willem-Paul de Roever ⋮ Fairness and hyperfairness in multi-party interactions ⋮ A weakest precondition semantics for communicating processes ⋮ Strong fairness and full abstraction for communicating processes ⋮ Fairness and conspiracies

This page was built for publication: