Résumé: A general framework is proposed to define non-interleaving semantics for process description languages based on causality. The framework relies on a decomposition function to obtain the set of its sequential processes in parallel term, and on a set of distributed transition rules carrying information about the actions processes. Semantics that discriminate according to space distribution of processes can also be formulated using this framework. Two semantics are proposed: the first is based on an alternative characterization of the locality equivalence that does not require explicit introduction of a space of locations, while the other is a direct generalization of distributed equivalence to languages with global scoping operators.

Langue: Anglais