Cited By
View all- Correnson AFinkbeiner B(2025)Coinductive Proofs for Temporal HyperlivenessProceedings of the ACM on Programming Languages10.1145/37048899:POPL(1568-1595)Online publication date: 9-Jan-2025
- Baldan PKönig BPadoan T(2024)Systems of Fixpoint Equations: Abstraction, Games, Up-To Techniques and Local AlgorithmsInformation and Computation10.1016/j.ic.2024.105233(105233)Online publication date: Oct-2024
- Carbone MCastro-Perez DFerreira FGheri LJacobsen FMomigliano APadovani LScalas ATirore DVassor MYoshida NZackon D(2024)The Concurrent Calculi Formalisation BenchmarkCoordination Models and Languages10.1007/978-3-031-62697-5_9(149-158)Online publication date: 17-Jun-2024
- Show More Cited By