scientific article
From MaRDI portal
Publication:3139814
zbMath0801.68073MaRDI QIDQ3139814
Publication date: 11 November 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
supervisory controldistributed softwarelogical discrete event system modelsprotocol synthesis problem
Control/observation systems involving computers (process control, etc.) (93C83) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General systems (93A10) Distributed algorithms (68W15)
Related Items (1)
This page was built for publication:
