scientific article; zbMATH DE number 3997155
From MaRDI portal
Publication:4723291
zbMath0615.68026MaRDI QIDQ4723291
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent processesmutual exclusion problemnon-deterministic programincremental design and verification of CSP networks
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items