Infinitary languages: Basic theory and applications to concurrent systems
Lecture notes in computer science1986pp. 266–342
Citations Over TimeTop 10% of 1986 papers
Related Papers
- → Supervisory control of timed automata(1999)9 cited
- → Continuous Petri nets and hybrid automata: two bisimilar models for the simulation of positive systems(2018)3 cited
- → Analysis of behaviour of automata(2009)2 cited
- → Automata in the Category of Glued Vector Spaces(2017)2 cited
- → Transformations Induced by Transducers(2018)