Usually, for distributed systems in adversarial settings we talk about safety and liveness. Bitcoin doesn't have safety, and both bitcoin and algorand seems to fail the liveness test as well.
In your terms, both bitcoin and algorand have weak availability.
In your terms, both bitcoin and algorand have weak availability.