Publication:3890123
From MaRDI portal
zbMath0445.68043MaRDI QIDQ3890123
Publication date: 1980
control; synchronization; deadlock; behaviour of transition systems; finite-state-automata; finite-state-transducers; non deadlocking behaviours
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
On the corrective control of sequential machines, On the control of incompletely described sequential machines, On priority in COSY, Distribution and synchronized automata, An investigation of controls for concurrent systems based on abstract control languages, Langages infinitaires et produit de mixage, The infimal prefix-closed and observable superlanguage of a given language