Publication:3700823
From MaRDI portal
zbMath0578.68024MaRDI QIDQ3700823
Publication date: 1985
competition; failure; interleaving; concurrency; deadlock; parallel composition; networks of communicating processes
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items