1
TITLE: A compositional model to reason about end-to-end QoS in Stochastic Reo connectors  Full Text
AUTHORS: Young Joo Moon; Alexandra Silva ; Christian Krause; Farhad Arbab;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 80, ISSUE: PART A
INDEXED IN: Scopus WOS DBLP CrossRef: 7
2
TITLE: Dreams: a framework for distributed synchronous coordination. a framework for distributed synchronous coordination
AUTHORS: José Proença ; Dave Clarke; Erik P de Vink; Farhad Arbab;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 18
3
TITLE: Deconstructing Reo
AUTHORS: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLISHED: 2009, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 229, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 12