1
TÍTULO: A compositional model to reason about end-to-end QoS in Stochastic Reo connectors  Full Text
AUTORES: Young Joo Moon; Alexandra Silva ; Christian Krause; Farhad Arbab;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 80, NÚMERO: PART A
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
2
TÍTULO: Dreams: a framework for distributed synchronous coordination. a framework for distributed synchronous coordination
AUTORES: José Proença ; Dave Clarke; Erik P de Vink; Farhad Arbab;
PUBLICAÇÃO: 2012, FONTE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012
INDEXADO EM: Scopus DBLP CrossRef: 18
3
TÍTULO: Deconstructing Reo
AUTORES: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLICAÇÃO: 2009, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 229, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 12