In this paper we extend the theory of processes with durational actions that has been proposed in [1,2] to describe and reason about the performance o...

We introduce a new variant of PC grammar systems, called PC grammar systems with terminal transmission, PCGSTT for short. We show that right-linear ce...

We introduce the notion of periodic-like word. It is a word whose longest repeated prefix is not right special. Some different characterizations of th...

Synchronized extension systems (SE-systems, for short) are 4-tuples G = (V,L(1), L(2), S), where V is an alphabet and L(1), L(2) and S are languages o...

Decomposing a two-dimensional window (i.e., the region specified by the cross product of two closed intervals over a given two-dimensional space) into...