Login / Signup

Termination in higher-order concurrent calculi.

Romain DemangeonDaniel HirschkoffDavide Sangiorgi
Published in: J. Log. Algebraic Methods Program. (2010)
Keyphrases