Author:
Kanellakis Paris C.,Smolka Scott A.
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference24 articles.
1. Bisimulation of automata;Benson;Inform. and Comput.,1988
2. Algebra of communicating processes;Bergstra,1986
3. On the relationship of CCS and CSP;Brookes,1983
Cited by
327 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献