scientific article; zbMATH DE number 3765174

MaRDI QIDQ3947145zbMATH OpenFDO

Authors Miklos Szijarto

Publication date 1981

zbMATH Keywords

closure of a languageindependence relationparallel program schemesregularity of the commutative closure of a languagetrace languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(6)

• On the decidability of some problems about rational subsets of free partially commutative monoids
• Theory of traces
• Membership problems for regular and context-free trace languages
• Trace languages defined by regular string languages
• Iteration of rational transductions
• Partial commutations and faithful rational transductions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3947145)