Author:
Bergstra J.A.,Ştefănescu Gh.
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference11 articles.
1. An algebraic characterization of transition systems equivalences;Arnold;Inform. and Comput.,1989
2. Translations between flowchart schemes and process graphs;Bergstra,1993
3. Process with multiple entries and exits modulo isomorphism and modulo bisimulation;Bergstra,1994
4. Bisimulation and abstraction homomorphisms;Castellani;J. Comput. System Sci.,1987
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献