Partially_synchronous_model