Login / Signup

Branching Bisimulation for Context-free Processes.

Didier Caucal
Published in: FSTTCS (1992)
Keyphrases