Author:
Jongmans S.-S.T.Q.,Clarke D.,Proença J.
Reference47 articles.
1. Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge;Aceto;Log. Methods Comput. Sci.,2005
2. Reo: a channel-based coordination model for component composition;Arbab;Math. Struct. Comput. Sci.,2004
3. Puff, the magic protocol;Arbab,2011
4. Synthesis of Reo circuits for implementation of component-connector automata specifications;Arbab,2005
5. Modeling component connectors in Reo by constraint automata;Baier;Sci. Comput. Program.,2006
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献