Khasidashvili, Zurab; Glauert, John The conflict-free reduction geometry. (English) Zbl 1081.68039 Theor. Comput. Sci. 347, No. 3, 465-497 (2005). MSC: 68Q42 × Cite Format Result Cite Review PDF Full Text: DOI
Khasidashvili, Zurab; Glauert, John Relating conflict-free stable transition and event models via redex families. (English) Zbl 1016.68052 Theor. Comput. Sci. 286, No. 1, 65-95 (2002). MSC: 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI
Khasidashvili, Zurab; Glauert, John The geometry of orthogonal reduction spaces. (English) Zbl 1401.68137 Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 649-659 (1997). MSC: 68Q42 68Q10 × Cite Format Result Cite Review PDF Full Text: DOI
Glauert, John; Khasidashvili, Zurab Minimal relative normalization in orthogonal expression reduction systems. (English) Zbl 1541.68174 Chandru, V. (ed.) et al., Foundations of software technology and theoretical computer science. 16th conference, Hyderabad, India, December 18–20, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1180, 238-249 (1996). MSC: 68Q42 03B40 × Cite Format Result Cite Review PDF Full Text: DOI