scientific article
From MaRDI portal
Publication:3678654
zbMath0564.68016MaRDI QIDQ3678654
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
inference rulesdistributed programmingcommunication mechanismchannel predicatespartial correctness of distributed processes
This page was built for publication: