scientific article
From MaRDI portal
Publication:3940823
zbMath0482.68022MaRDI QIDQ3940823
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semanticsterminationnondeterminismweakest preconditiondistributed programmingdeadlockcommunicating processes
This page was built for publication: