The following pages link to (Q3325067):
Displaying 13 items.
- Nivat's processing systems: decision problems related to protection and synchronization (Q761796) (← links)
- Algèbre de processus et synchronisation (Q789894) (← links)
- The residue of vector sets with applications to decidability problems in Petri nets (Q797285) (← links)
- Relations rationnelles infinitaires (Q801688) (← links)
- Un modèle asynchrone pour les systèmes distribués. (An asynchronous model of distributed systems) (Q914365) (← links)
- Towards a formal proof system for \(\omega\)-rational expressions (Q1064076) (← links)
- Finitely generated \(\omega\)-languages (Q1092671) (← links)
- Etude syntaxique des parties reconnaissables de mots infinis. (Syntactic study of recognizable parts of infinite words) (Q1105050) (← links)
- On the transition graphs of Turing machines. (Q1401268) (← links)
- Nivat's processes and their synchronization (Q1603683) (← links)
- An algebraic and algorithmic method for analysing transition systems (Q1822237) (← links)
- Trace nets and process automata (Q1902303) (← links)
- Natural projection as partial model checking (Q2208303) (← links)
