On the Evolution of Reactive Components: A Process-Algebraic Approach


A common problem in library-based programming is the downward compatibility problem: will a program using an existing version of a library continue to function correctly with an upgraded version? As a step toward addressing this problem for libraries of reactive components we develop a theory that equips components with interface languages characterizing… (More)
DOI: 10.1007/978-3-540-49020-3_11

4 Figures and Tables


  • Presentations referencing similar topics