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

by Hans Hüttel , Colin Stirling
Citations:45 - 9 self