Publication:3732949
From MaRDI portal
zbMath0598.68026MaRDI QIDQ3732949
Publication date: 1986
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items
An introduction to the regular theory of fairness, Infinite trees, markings, and well-foundedness, Verification of concurrent programs: The automata-theoretic framework