-
1
Checkpoint-based rollback recovery in session programming
Published 2025-01-01Subjects: “…computer science - programming languages…”
Get full text
Article -
2
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
Published 2024-12-01Subjects: “…computer science - programming languages…”
Get full text
Article