Login / Signup

On the Complexity of Termination Inference for Processes.

Romain DemangeonDaniel HirschkoffNaoki KobayashiDavide Sangiorgi
Published in: TGC (2007)
Keyphrases