QRT FIFO automata, breadth-first grammars and their relations

Authors:
Alessandra Cherubini;Claudio Citrini;Stefano Crespi Reghizzi;Dino Mandrioli
Affiliations:
Politecnico di Milano, Milan, Italy;Politecnico di Milano, Milan, Italy;Politecnico di Milano, Milan, Italy;Politecnico di Milano, Milan, Italy
Venue:
Theoretical Computer Science
Year:
1991

Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars

FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
On the decidability of the termination problem of active database systems

Theoretical Computer Science
Input-Driven queue automata: finite turns, decidability, and closure properties

CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata

Hi-index	5.23