Deciding bisimilarity of normed context-free processes is in Σp2

✍ Scribed by Dung T. Huynh; Lu Tian

• Publisher: Elsevier Science
• Year: 1994
• Tongue: English
• Weight: 915 KB
• Volume: 123
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/0304-3975(92)00078-6