Semantic shuffle on and deletion along trajectories
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
On inverse operations and their descriptional complexity
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
| Hi-index | 0.00 |
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.