I don’t know enough about pony to know for sure, but nothing on that page sums to suggest that deadlocks of the form the article discusses are resolved?
I don't think there is a generic computational model that would prevent deadlocks, so no, pony also doesn't solve it.
I don't think there is a generic computational model that would prevent deadlocks, so no, pony also doesn't solve it.