A general framework is proposed to define non-interleaving semantics for process description languages based on causality. The framework relies on a...

In this paper, we investigate the concept of unconditional transfer within various forms of regulated grammars like programmed grammars, matrix gramm...

Independent database schemes are best known to have constraints enforced globally by enforcing them locally in individual relations, and therefore ar...

We examine the meaning of causality in calculi for mobile processes like the éPié -calculus, and we investigate the relationship between interleaving...

A tree language is congruential if it is the union of finitely many classes of a finitely generated congruence on the term algebra. It is well known...