scientific article
From MaRDI portal
Publication:3709885
zbMath0585.68043MaRDI QIDQ3709885
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
connectivitydistributed systemFIFO propertyprocessescommunication channelsalgorithms for termination detectionmessage communicationsmessage countingProofs of correctness
Related Items (1)
This page was built for publication: