Similar Items: Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
- Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
- Refined Risk Bounds for Unbounded Losses via Transductive Priors
- Using models to model-check recursive schemes
- Model Checking Temporal Properties of Recursive Probabilistic Programs
- Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
- General Recursion via Coinductive Types