Skip to content

Unique Fixpoint Induction for Mobile Processes.

Huimin Lin

VenueBCONCUR
Year1995
ProceedingsCONCUR

Browse the full CONCUR paper archive.