Login / Signup

Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes

Hans HüttelColin Stirling
Published in: LICS (1991)
Keyphrases