Over the past decades, coordination languages have emerged for the specification and
implementation of interaction protocols for communicating software components. This class …

Traditional models of concurrency resort to peculiarly indirect means to express interaction
and study its properties. Formalisms such as process algebras/calculi, concurrent objects …

CONTEXT: Existing test suite prioritization techniques usually rely on code coverage
information or historical execution data that serve as indicators for estimating the fault …

Over the past years, the need for high-confidence coordination mechanisms has intensified
as new technologies have appeared for the development of service-oriented applications …

Choreography supports the specification, with a global perspective, of the interactions
between the roles played by partners in a collaboration. These roles are the basis for the …

Reo is a channel-based exogenous coordination model in which complex coordinators,
called connectors, are compositionally built out of simpler ones. In this paper, we present a …

We discuss the generation of test cases for demonstrating the non-equivalence of two
programs. This problem has applications in mutation testing and automated debugging …

Connectors have emerged as a powerful concept for composition and coordination of
concurrent activities encapsulated as components and services. Compositional coordination …

The efficiency of the public key encryption systems like RSA and ECC can be improved with
the adoption of a faster multiplication scheme. In this paper, Modified Montgomery …

Reo is a channel-based exogenous coordination language in which complex coordinators,
called connectors, are compositionally built out of simpler ones. In this paper, we present an …