Ensuring Liveness Properties of Distributed Systems with Justness

Project Details

StatusActive
Effective start/end date1/08/2231/08/27

Funding

  • Other (Learned Society): £328,357.00