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

Hans Httel, Colin Stirling

Browse the full LICS paper archive.