Behaviors of Processes and Synchronized Systems of Processes
- 1 January 1982
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Adherences of languagesJournal of Computer and System Sciences, 1980
- Metric interpretations of infinite trees and semantics of non deterministic recursive programsTheoretical Computer Science, 1980
- COSY ? a system specification language based on paths and processesActa Informatica, 1979
- Frontiers of infinite treesRAIRO. Informatique théorique, 1978
- Theory of ω-languagesI: Characterizations of ω-context-free languagesJournal of Computer and System Sciences, 1977
- A compactification of the algebra of termsAlgebra universalis, 1976
- Decision problems forω-automataTheory of Computing Systems, 1969
- Transductions des langages de ChomskyAnnales de l'institut Fourier, 1968
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966
- On Relations Defined by Generalized Finite AutomataIBM Journal of Research and Development, 1965