scientific article
From MaRDI portal
Publication:3325067
zbMath0538.68062MaRDI QIDQ3325067
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
distributed controlinfinite wordsnon-deterministic automatacentralized controlinfinite languagesemantics of processesbehaviour of processescomposition of processesrational processessynchronized nets of processes
Related Items
Verification and comparison of transition systems, Finitely generated \(\omega\)-languages, Dualities between nets and automata induced by schizophrenic objects, Trace nets and process automata, Etude syntaxique des parties reconnaissables de mots infinis. (Syntactic study of recognizable parts of infinite words), Bi-infinitary codes, A unified approach to control problems in discrete event processes, On the transition graphs of Turing machines., Natural projection as partial model checking, Un modèle asynchrone pour les systèmes distribués. (An asynchronous model of distributed systems), Wadge hierarchy of omega context-free languages, Nivat's processing systems: decision problems related to protection and synchronization, An algebraic and algorithmic method for analysing transition systems, Algèbre de processus et synchronisation, The residue of vector sets with applications to decidability problems in Petri nets, Relations rationnelles infinitaires, Towards a formal proof system for \(\omega\)-rational expressions, Nivat's processes and their synchronization
