@article(Baker1974, author = "Brenda S. Baker and Ronald V. Book", year = "1974", title = "Reversal-bounded multipushdown machines", journal = "Journal of Computer and System Sciences", volume = "8", number = "3", pages = "315 -- 332", doi = "10.1016/S0022-0000(74)80027-9", ) @article(journals/ita/Crespi-ReghizziP11, author = "Stefano {Crespi Reghizzi} and Pierluigi {San Pietro}", year = "2011", title = "Consensual languages and matching finite-state computations", journal = "RAIRO - Theor. Inf. and Applic", volume = "45", number = "1", pages = "77--97", doi = "10.1051/ita/2011012", ) @inproceedings(CrespiSanPietroCIAA2012, author = "Stefano Crespi-Reghizzi and Pierluigi {San Pietro}", year = "2012", title = "Strict Local Testability with Consensus Equals Regularity", editor = "Nelma Moreira and Rog{\'e}rio Reis", booktitle = "CIAA", series = "Lecture Notes in Computer Science", volume = "7381", publisher = "Springer", pages = "113--124", doi = "10.1007/978-3-642-31606-7_10", ) @inproceedings(CrespiSanPietroCIAA13, author = "Stefano {Crespi Reghizzi} and Pierluigi {San Pietro}", year = "2013", title = "Deterministic Counter Machines and Parallel Matching Computations", editor = "Stavros Konstantinidis", booktitle = "Impl. and Appl. of Automata - 18th Int. Conf., {CIAA} 2013, Halifax, Nova Scotia, Canada, July 16-19, 2013.", series = "Lecture Notes in Computer Science", volume = "7982", publisher = "Springer", pages = "280--291", doi = "10.1007/978-3-642-39274-0_25", ) @book(Ginsburgh1966, author = "Seymour Ginsburgh", year = "1966", title = "The mathematical theory of context-free languages", publisher = "McGraw-Hill", ) @article(Greibach:1976:RCN, author = "Sheila A. Greibach", year = "1976", title = "Remarks on the complexity of nondeterministic counter languages", journal = "Theor. Comp. Sc.", volume = "1", number = "4", pages = "269--288", doi = "10.1016/0304-3975(76)90072-4", ) @article(DBLP:journals/tcs/Greibach78a, author = "Sheila A. Greibach", year = "1978", title = "Remarks on Blind and Partially Blind One-Way Multicounter Machines", journal = "Theor. Comput. Sci.", volume = "7", pages = "311--324", doi = "10.1016/0304-3975(78)90020-8", ) @article(DBLP:journals/jacm/Ibarra78, author = "Oscar H. Ibarra", year = "1978", title = "Reversal-Bounded Multicounter Machines and Their Decision Problems", journal = "J. ACM", volume = "25", number = "1", pages = "116--133", doi = "10.1145/322047.322058", ) @article(Latteux79, author = "Michel Latteux", year = "1979", title = "C{\^o}nes rationnels commutatifs", journal = "J. Comput. Syst. Sci.", volume = "18", number = "3", pages = "307--333", doi = "10.1016/0022-0000(79)90039-4", ) @article(Mateescu94, author = "Alexandru Mateescu", year = "1994", title = "Scattered deletion and commutativity", journal = "Theor. Comp. Sc.", volume = "125", number = "2", pages = "361--371", doi = "10.1016/0304-3975(94)90259-3", ) @article(jalc/Nagy09, author = "Benedek Nagy", year = "2009", title = "Languages Generated by Context-Free Grammars Extended by Type {AB} -$>$ {BA} Rules", journal = "Journal of Automata, Languages and Combinatorics", volume = "14", number = "2", pages = "175--186", ) @article(jcss/NagyOttoO12, author = "Benedek Nagy and Friedrich Otto", year = "2012", title = "On {CD}-systems of stateless deterministic {R}-automata with window size one", journal = "J. Comput. Syst. Sci", volume = "78", number = "3", pages = "780--806", doi = "10.1016/j.jcss.2011.12.009", ) @article(Rigo:2003, author = "Michel Rigo", year = "2003", title = "The commutative closure of a binary slip-language is context-free: a new proof", journal = "Discrete Appl. Math.", volume = "131", number = "3", pages = "665--672", doi = "10.1016/S0166-218X(03)00335-4", ) @book(Salo73, author = "Arto Salomaa", year = "1987", title = "Formal languages", publisher = "Academic Press", address = "San Diego, CA, USA", ) @article(conf/ictcs/Crespi-Reghizzi13, author = "{Stefano {Crespi Reghizzi}} and {Pierluigi {San Pietro}}", year = "2013", title = "Commutative consensual counter languages.", journal = "Talk given at {ICTCS 2013},", volume = "14th Italian Conference on Theoretical Computer Science, Palermo, Italia, Sept. 9-11, 2013.", ) @article(ValiantLes1990a, author = "Leslie G. Valiant", year = "1990", title = "{A} bridging model for parallel computation", journal = "Comm. ACM", volume = "33", number = "8", pages = "103", doi = "10.1145/79173.79181", )