scientific article
From MaRDI portal
Publication:3660864
zbMath0514.68001MaRDI QIDQ3660864
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
networkcommunicationsynchronizationformal specificationerror detectionprotocolprotectiondistributed processingparallel processespacket switchingerror recoveryremote access
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of operating systems (68N25)
Related Items (2)
On observability of discrete-event systems ⋮ Decentralized supervisory control of discrete-event systems
This page was built for publication:
