Author:
Barbosa Marco Antonio,Barbosa Luís Soares,Campos José Creissac
Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. A formal basis for architectural connection;Allen;ACM TOSEM,1997
2. Reo: a channel–based coordination model for component composition;Arbab;Mathematical Structures in Comp. Sci.,2004
3. L.S. Barbosa. Process calculi à la Bird-Meertens. In M.L. Andrea Corradini and U. Montanari, editors, CMCS'01, volume 44.4, pages 47–66, Genova, April 2001. Elect. Notes in Theor. Comp. Sci., Elsevier
4. L.S. Barbosa and J.N. Oliveira. Coinductive interpreters for process calculi. In Proc. of FLOPS'02, pages 183–197, Aizu, Japan, September 2002. Springer Lect. Notes Comp. Sci. (2441)
5. Specifying software connectors;Barbosa,2004
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献