Analysis of discrete event coordination
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 414-453
- https://doi.org/10.1007/3-540-52559-9_74
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A structural induction theorem for processesPublished by Association for Computing Machinery (ACM) ,1989
- On the complexity of omega -automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988
- Complementing deterministic Büchi automata in polynomial timeJournal of Computer and System Sciences, 1987
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987
- Modelling concurrent processesProceedings of Symposia in Applied Mathematics, 1985
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974
- Lectures on Boolean AlgebrasPublished by Springer Nature ,1974
- Automata on Infinite Objects and Church’s ProblemCBMS Regional Conference Series in Mathematics, 1972
- Finite Automata and Their Decision ProblemsIBM Journal of Research and Development, 1959