The algebraic specification and representation of networks agents have been greatly impacted by the study reversible phenomena: declensions calculus communicating systems (CCSK RCCS) offer new semantic models, finer congruence relations, original properties, revisits existing theories results in a light. But much remains to be done: concurrency, central notion establishing causal consistency–a ...