DMCA

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

by Hans Hüttel , Colin Stirling
Citations:47 - 10 self