On the confluence of trace rewriting systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1530 LNCS, Issue , 1998, Pages 319-331

  Lohrey, Markus ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

REWRITING SYSTEMS; TRACE MONOID;

SOFTWARE ENGINEERING;

COMPUTABILITY AND DECIDABILITY;

EID: 84887036607     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-49382-2_30     Document Type: Conference Paper

References (10)

1. Ronald V. Book and Friedrich Otto. String-Rewriting Systems. Springer- Verlag, 1993. 321, 322, 330
2. Robert Cori and Yves Métivier. Recognizable subsets of some partially abelian monoids. Theoretical Computer Science, 35:179-189, 1985. 321
3. Volker Diekert. Combinatorics on Traces. Number 454 in Lecture Notes in Computer Science. Springer, Berlin-Heidelberg-New York, 1990. 319, 320, 321, 324
4. Volker Diekert and Grzegorz Rozenberg, editors. The Book of Traces. World Scientific, Singapore, 1995. 319, 320, 325
5. Christine Duboc. Mixed procuct and asynchronous automata. Theoretical Computer Science, 48:183-199, 1986. 329
6. Markus Lohrey. On the confluence of trace rewriting systems. Available via http://inf.informatik.uni-stuttgart.de/ifi/ti/personen/Lohrey/98a.ps, 1998. 320, 322, 330
7. Antoni Mazurkiewicz. Concurrent program schemes and their interpretations. DAIMI Rep. PB 78, Aarhus University, Aarhus, 1977. 319
8. Paliath Narendran and Friedrich Otto. Preperfectness is undecidable for Thue systems containing only length-reducing rules and a single commutation rule. Information Processing Letters, 29:125-130, 1988. 319, 320, 322, 323
9. Celia Wrathall and Volker Diekert. On confluence of one-rule trace-rewriting systems. Mathematical Systems Theory, 28:341-361, 1995. 330
10. Wieslaw Zielonka. Notes on finite asynchronous automata. R.A.I.R.O. - Informatique Théorique et Applications, 21:99-135, 1987. 325