11 citations · 22 across the 3 of their papers we have counts for
3 papers
cs.SE2011★ 7 cited
Input-output Conformance Testing for Channel-based Service Connectors
Natallia Kokash, Farhad Arbab, Behnaz Changizi +1
Service-based systems are software systems composed of autonomous components or services provided by different vendors, deployed on remote machines and accessible through the web.…
cs.PL2011★ 4 cited
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata
Sung-Shik T. Q. Jongmans, Farhad Arbab
Over the past decades, coordination languages have emerged for the specification and implementation of interaction protocols for communicating software components. This class of la…
cs.FL2011★ 11 cited
Decoupled execution of synchronous coordination models via behavioural automata
José Proença, Dave Clarke, Erik de Vink +1
Synchronous coordination systems allow the exchange of data by logically indivisible actions involving all coordinated entities. This paper introduces behavioural automata, a logic…