scientific article
From MaRDI portal
Publication:3947145
zbMath0486.68074MaRDI QIDQ3947145
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
trace languagesindependence relationclosure of a languageparallel program schemesregularity of the commutative closure of a language
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
On the decidability of some problems about rational subsets of free partially commutative monoids ⋮ Theory of traces ⋮ Trace languages defined by regular string languages ⋮ Membership problems for regular and context-free trace languages ⋮ Partial commutations and faithful rational transductions ⋮ Iteration of rational transductions
This page was built for publication:
