Author:
Bonchi Filippo,van Bussel Tom,Lee Matias David,Rot Jurriaan
Funder
European Research Council
LABEX MILYON
PACE
REPAS
Reference34 articles.
1. Higher-level synchronising devices in Meije-SCCS;de Simone;Theor. Comput. Sci.,1985
2. Bisimilarity of open terms;Rensink;Inf. Comput.,2000
3. A semantic framework for open processes;Baldan;Theor. Comput. Sci.,2007
4. Proving the validity of equations in GSOS languages using rule-matching bisimilarity;Aceto;Math. Struct. Comput. Sci.,2012
5. CIRC: a behavioral verification tool based on circular coinduction;Lucanu,2009
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献