scientific article

zbMath0445.68043MaRDI QIDQ3890123

Maurice Nivat, André Arnold

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

controlsynchronizationdeadlockbehaviour of transition systemsfinite-state-automatafinite-state-transducersnon deadlocking behaviours

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

On priority in COSY ⋮ Distribution and synchronized automata ⋮ On the control of incompletely described sequential machines ⋮ On the corrective control of sequential machines ⋮ The infimal prefix-closed and observable superlanguage of a given language ⋮ An investigation of controls for concurrent systems based on abstract control languages ⋮ Langages infinitaires et produit de mixage

This page was built for publication: