Recasting expressiveness results under justness

Reformulate existing relative expressiveness results for process calculi so that valid translations preserve liveness properties under justness and avoid reliance on global fairness assumptions.

Background

Published expressiveness studies (e.g., encodings into ACP or Meije) typically validate translations using equivalences that do not distinguish liveness under justness. The authors call for re-evaluating such results with correctness criteria adapted to justness, ensuring translations do not mask liveness differences that matter without fairness.

References

Open problem 6b Recast relative expressiveness results from the literature in a justness-respecting framework.

— Ensuring Liveness Properties of Distributed Systems: Open Problems  (1912.05616 - Glabbeek, 2019) in Task “Expressiveness”, Section “A research agenda”