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

Markus Müller-Olm Bernhard Steffen Rance Cleaveland On the Evolution of Reactive Components: A Process-Algebraic Approach. 161-175 1999 conf/fase/1999 FASE db/conf/fase/fase99.html#Muller-OlmSC99