scientific article
From MaRDI portal
Publication:3727356
zbMath0595.68013MaRDI QIDQ3727356
Fred B. Schneider, Gregory R. Andrews
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fairnessconcurrent programssynchronizationprogram designpartial correctnessmutual exclusiondeadlock freedomliveness property
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)
This page was built for publication:
