Publication:3929006

zbMath0474.68013MaRDI QIDQ3929006

Tomasz Müldner

Publication date: 1981

zbMATH Keywords

accessibility; monotonicity; mutual exclusion; critical region; passive waiting

Mathematics Subject Classification ID

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

68N25: Theory of operating systems