Skip to content

Termination in Concurrency, Revisited.

Joseph W. N. Paulus, Jorge A. Prez, Daniele Nantes-Sobrinho

VenueCPPDP
Year2023
ProceedingsPPDP

Browse the full PPDP paper archive.