Generic operational decomposition for concurrent systems: Semantics and Reflection. - Annie Marcoux; Christine Maurel; Frédéric Migeon; Patrick Sallé (Parallel Distributed Comput. Pract., 1998)