Parallel Composition of Words with Re-entrant Symbols
Arto K. Salomaa, Alexandru Mateescu · 1996
We introduce and investigate an operation for words and languages, referred to as the re-entrant product. This operation is related to parallel composition of concurrent processes that contain re-entrant routines. Intuitively the re-entrant product of two words contains all traces of the parallel execution of these words assuming that the atomic actions are re-entrant routines. This paper investigates language-theoretic properties of re-entrant products.