Publication:4723291
From MaRDI portal
zbMath0615.68026MaRDI QIDQ4723291
Publication date: 1987
concurrent processes; mutual exclusion problem; non-deterministic program; incremental design and verification of CSP networks
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items