Coherent branching feature bisimulation

Tessa Belder, Maurice H. ter Beek, Erik P. de Vink

Progress in the behavioral analysis of software product lines at the family level benefits from further development of the underlying semantical theory. Here, we propose a behavior…