|
|||||
|
|
Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes |
|
| Authors: | HuTTEL, HANS STIRLING, COLIN |
| Affiliation: | Department of Computer Science, Aalborg University Fredrik Bajers Vej 7E, 9220 Aalborg Ø Denmark. E-mail: hans{at}cs.auc.dk Laboratory for the Foundations of Computer Science, James Clerk Maxwell Building, University of Edinburgh Edinburgh EH9 3JZ, Scotland. E-mail: cps{at}dcs.ed.ac.uk |
| Abstract: | |
| Keywords: | Bisimulation context-free grammars decidability equational theories infinite transition graphs process calculi |
| 本文献已被 Oxford 等数据库收录！ | |